Die Versprachlichung des Konzepts "werden" : mutative Prädikate und ihre Funktion im Sprachsystem : eine Untersuchung zum Spanischen und Deutschen unter Einbeziehung eines sprachtypologischen Hintergrunds

Rogler G. Die Versprachlichung des Konzepts "werden" : mutative Prädikate und ihre Funktion im Sprachsystem : eine Untersuchung zum Spanischen und Deutschen unter Einbeziehung eines sprachtypologischen Hintergrunds. Bielefeld (Germany): Bielefeld University; 2009.Gegenstand der vorliegenden Arbeit sind Ausdrücke des Deutschen und Spanischen, die "werden" im Sinne des Übergangs in einen neuen Zustand ausdrücken, wie rot werden, viel werden, erstarken, sich verflüssigen, Musiker werden, ein neuer Mensch werden, zum Fallstrick werden. Die Untersuchung erstreckt sich ausschließlich auf Ausdrücke in Prädikatfunktion. An den aufgezählten Beispielen wird bereits sichtbar, dass zur Benennung solcher Zustandswechsel verschiedenartige sprachliche Einheiten verwendet werden. Da das Spanische kein dem deutschen werden im o.g. Sinne äquivalentes, allgemein einsetzbares Verb besitzt, stellt sich die Frage, welche Mittel diese Sprache gebraucht, um die betreffenden Sachverhalte auszudrücken. In einem ersten Schritt werden daher die im Spanischen und im Deutschen zum Ausdruck von "werden" zur Verfügung stehenden sprachlichen Einheiten und Strukturmittel erhoben. Ziel der Arbeit ist es, die unterschiedliche Strukturierung des spanischen und des deutschen Lexikons im Bereich der "werden"-Ausdrücke darzustellen und den teilweise gegebenen Zusammenhang zwischen dieser Ebene und der lexikogrammatischen Organisation der Versprachlichung des Konzepts "werden" in beiden Sprachen aufzudecken. Im Zusammenwirken der beiden genannten, wesentlichen Komponenten des Sprachsystems deuten sich für das Spanische und das Deutsche jeweils unterschiedliche Entwicklungsrichtungen im Bereich "werden" an, was als Indikator lexikalisch-typologischer Tendenz gewertet werden kann. Für die praktische Spracharbeit - Sprachunterricht, Übersetzung - stellt die Behandlung von "werden" im Spanischen immer wieder ein Problem dar, das bisher nicht grundlegend systematisch bearbeitet wurde. Durch die hier vorgenommene Untersuchung wird eine theoretische Grundlage für eine solcherart ausgerichtete umfassende Ausarbeitung der Thematik gelegt; ferner sind aufgrund des verwendeten Sprachmaterials bereits praktische Verwertungen möglich

Aufbereitung von Shapeanalyseausgaben zur Visualisierung der abstrakten Programmausführung

Diese Arbeit behandelt einen Ansatz zur Algorithmenvisualisierung von zeigerbasierten Programmen. Während traditionell die Programmausführung für konkrete Daten visualisiert wird, stützt sich dieser Ansatz auf die abstrakte Programmausführung. Dazu wird vorab mittels Shapeanalyse, einer auf Logik basierenden parametrischen statischen Programmanalysetechnik, eine Beschreibung der an den Programmpunkten auftretenden abstrakten Heapstrukturen berechnet. Diese Shapegraphenmengen sind jedoch in der Regel für eine direkte Visualisierung zu groß. Ein zentrales Thema dieser Arbeit ist die Entwicklung von Methoden, die Analyseausgabe vor der eigentlichen Visualisierung aufzubereiten. Sie führen sowohl zu einer Reduktion der Komplexität als auch zu einer gesteigerten Wirksamkeit der Visualisierung. Im Vordergrund stehen Methoden zur Strukturierung der Analyseausgabe. Ein Ähnlichkeitskonzept gestattet es, bezüglich verschiedener parametrischer Ähnlichkeitsbegriffe zu abstrahieren. Auf diese Weise werden ähnliche Heapstrukturen und ähnliche Programmausführungen identiziert und zusammengefasst. Mit gleicher Absicht wird ein Konzept zur Ausnutzung von Symmetrie eingeführt. Ergänzend werden Methoden vorgestellt, welche die in einer Menge von Shapegraphen enthaltenen Informationen verdichten. Zu den darüber hinaus behandelten Themen gehören Methoden, die Hilfestellungen bei der Traversierung durch die abstrakte Programmausführung bieten.This work presents an approach to algorithm visualisation of pointer based programs. While traditionally the execution of a program is visualised for concrete data, our approach is based on abstract program execution. Using shape analysis, which is a logic based parametric static program analysis technique, a description of the abstract heap situations that can occur at each program point is computed in advance. However, the resulting sets of shape graphs are generally too large to be visualised directly. A central topic of this work is the development of methods for preparing the analysis output before the actual visualisation. This results in complexity reduction as well as in increased efficiency with respect to visualisation. The focus lies on methods for structuring the analysis output. A similarity concept allows abstraction with respect to various parametric similarity notions. This way similar heap structures and similar execution paths are identied and summarised. With the same purpose in mind, a concept of taking advantage of symmetry is introduced. Additionally, methods are presented that condense the information contained in sets of shape graphs. Further topics include methods that assist in the traversal of the abstract program execution

Zur Klassifizierung der Prädikative

Die Klassifikation und die Terminologie der Prädikative beschäftigt die Sprachwissenschaft seit einiger Zeit. Die vorliegende Arbeit will zu dieser Diskussion einen Beitrag leisten und hat als Ziel, den Prädikativbegriff zu bestimmen. Behandelt werden die Prädikative innerhalb der einzelnen Sprachen − hier des Deutschen und des Polnischen − als auch in der Sprachtypologie. Dabei soll gezeigt werden, dass die Klärung des Begriffs Prädikativ zur besseren Einsicht in das strukturelle System der deutschen Sprache beitragen kann. Zu Beginn werden die Klassifikation und die Terminologie des Prädikativs in den deutschen Grammatiken behandelt. Auf der Suche nach der Definition des Prädikativs werden die Aspekte wie der semantische Bezug des Prädikativs, seine Wortkategorie und sein Auftreten mit bestimmten Verben berücksichtigt. Zur Klärung des Prädikativbegriffs wird das Prädikativ von dem Adverbial abgegrenzt − die Distinktion betrifft die lokalen und temporalen Adverbien bzw. Präpositionalphrasen und Substantive im Genitiv. Die Frage nach der Bestimmung der Kategorie des Prädikativs wird mit der Prädikation und der Identität begonnen. Dabei wird auf die Besonderheiten des Polnischen hingewiesen. Des Weiteren wird auf die Kopula- und kopulaähnlichen Verben eingegangen. Dabei werden die Parallelen zwischen diesen Verben und ihre syntaktischen Besonderheiten gezeigt. Zum Inhalt werden auch syntaktische und semantische Relationen im Kopulasatz, und zwar vorwiegend die in diesem Zusammenhang erscheinenden Probleme: (a) der Kasuszuweisung an das Prädikativ und das Subjekt und (b) der Kongruenz in Numerus und Genus zwischen dem Subjekt und Prädikativ und zuletzt (c) der verbalen Kongruenz. Ferner werden die depiktiven und resultativen Prädikative allgemein charakterisiert. Den größten Teil der Analyse im Rahmen des Grammatikmodells der Generativen Grammatik in der Theorievariante »Government and Binding« (= Prinzipien und Parameter) nimmt der Small-Clause-Ansatz in Anspruch

Identität und Kolokalisation : zur metaphysischen Problematik der Individuation konkreterObjekte

Nach einem Rundgang durch die metaphysische Problematik der Individuation konkreter Objekte unter besonderer Berücksichtigung des dreidimensionalen und des vierdimensionalen Modells zeitlich veränderlicher Gegenstände richtet sich das Augenmerk auf die Frage nach der Kolokalisation konkreter Objekte. Diese Frage wird zugleich als wichtigste Kritik an dem vierdimensionalen Modell konkreter Objekte verstanden. Es wird dafür argumentiert, dass keine Gründe für die Annahme von Kolokalisationen sprechen, und dass somit das vierdimensionale Modell dem dreidimensionalen vorzuziehen ist. Insbesondere spricht gegen Kolokalisationstheorien ihre unauflösliche Verstrickung in undurchsichtige modale Begriffsbildungen, welche im Vierdimensionalismus vermieden werden können