Summary

A locally catenative sequence of strings of letters is such that each string in the sequence, after an initial stretch, is formed by concatenating strings which occurred at some specified distances previously in the sequence. These kinds of structures are frequently encountered in biological development, particularly in the case of compound branching structures or compound leaves. Developmental systems have been formally defined in previous publications. One of the present results is that dependent PDOL systems can produce sequences for every locally catenative formula (PDOL systems are propagating, deterministic developmental systems without interactions). Every dependent PDOL system produces a sequence which satisfies an infinite class of locally catenative formulas. Some of these formulas can be derived from a minimum formula, but a sequence may satisfy more than one minimum formulas.

Zusammenfassung

Beim Programmieren durch Auswählen, einer Methode der Programmformulierung unter Verwendung einer Datensichtstation in einem Dialogsystem, wird der Programmierer vom System straff geführt; das bedeutet, daß er im Spielraum seiner Entscheidungen gegenüber der üblichen, freien Formulierung geeignet eingeschränkt ist. Der Programmierer kann in jedem Dialogschritt nur unter syntaktisch richtigen Formulierungen wählen. Das System vollzieht darauf die Generierung eines Programms als Satz einer formalen Sprache und zwar entsprechend der Phrasenstrukturgrammatik der Sprache top-down durch sukzessives Ersetzen je eines Phrasensymbols der erreichten Satzform durch die rechte Seite aus einer vom Programmierer ausgewählten Produktion dieses Phrasensymbols.

In einer kontext-freien Grammatik läßt sich die Reihenfolge der Ersetzungen von Phrasensymbolen nicht vom System bestimmen; es muß dem Programmierer die Wahl der Reihenfolge überlassen bleiben. Im vorliegenden Bericht wird gezeigt, wie das Verwenden einer kontext-sensitiven Grammatik es erlaubt, den Programmierer auch hinsichtlich der Reihenfolge der Ersetzungen zu führen, und wie dadurch (in einem zu definierenden Sinne) auch semantisch richtige Formulierungen erreicht werden können.

Die von verschiedenen Autoren vorgeschlagenen restriktiven Regeln in der Anwendung von der Form nach kontext-freien Produktionen, bei deren Beachtung sich eine Ausweitung zur nicht-kontext freien Sprachklasse einstellt, erweisen sich für eine Systemimplementierung als vorteilhaft. Als Beispiel wird die Überprüfung, ob eine Variablenbezeichnung vereinbart ist oder nicht, nach den Regeln einer programmierten Grammatik vorgestellt.

Zusammenfassung

Das beschriebene digitale Segmentationsverfahren unterteilt das Sprachsignal im Zeitbereich in einzelne diskrete Abschnitte, die die zeitliche Lokalisierung der meisten gesprochenen Phoneme im Sprachsignal zulassen. In zwei Vorbereitungsschritten werden zunächst die Pausen sowie die stimmlosen Abschnitte im Verlauf des Signals ausgesondert. Der folgende eigentliche Segmentationsschritt versucht, die Artikulationsgeschwindigkeit des Vokaltrakts an Hand einiger globaler Sprachsignalparameter zu beschreiben. Da der Vokaltrakt sich beim Sprechen nicht konstant bewegt, sondern versucht, die zu jedem Phonem gehörige artikulatorische “Zielstellung” zu realisieren, lassen sich Abschnitte mit geringen Änderungen der Vokaltraktstellung (“stationäre” Segmente) von solchen mit grösseren Änderungen (“dynamische” Segmente) trennen. Berücksichtigt man die Richtung der Änderungen im Parameterverlauf während der dynamischen Segmente, so lassen sich diese noch weiter aufteilen. Das Verfahren wurde auf isoliert gesprochene Wörter angewendet (insgesamt 7 Sprecher); die Fehlerrate — sofern sich eine solche hier überhaupt bestimmen lässt — lag, verglichen mit einer aus der Lautschrift des gesprochenen Textes gewonnenen “Idealsegmentation”, für alle Sprecher bei etwa 3,5%.

Zusammenfassung

Das Interesse an Algorithmen zur syntaktischen Analyse bei formalen Sprachen stammt von der Konstruktion von Übersetzern für Programmiersprachen und dem Bemühen, diese Konstruktion wenigstens teilweise zu automatisieren. Inzwischen gibt es eine Fülle von sich mehr oder weniger unterscheidenden Analysemethoden, während nur wenige davon in syntaxgesteuerten (d.h. anhand der formalen Beschreibung der Syntax analysierenden) Compilern oder in (teilweise) automatisch erzeugten Compilern Verwendung gefunden haben. Dieses liegt zum größten Teil daran, daβ man bei dem Auffinden von Methoden zur effizienten syntaktischen Analyse weitgehend die Erfassung einer möglichst großen Teilklasse der Klasse kontextfreier Sprachen erstrebte. Bei dem tatsächlichen Bau von Compilern zieht man es jedoch im allgemeinen vor, die syntaktische Beschreibung der Programmiersprache gegebenenfalls soweit zu ändern, daß es dafür ein zwar nur auf eine eng eingeschränkte Klasse anwendbares, aber einfaches Analyseverfahren gibt. Ferner ist die Theorie der Analysealgorithmen sehr stark auf den Fall kontextfreier Sprachen beschränkt, während man neuerdings zur syntaktischen Beschreibung von höheren Programmiersprachen wie etwa bei ALGOL 68’ auch komplexere Systeme benutzt.

Zusammenfassung

Bei Verwendung schneller Pufferspeicher kann man die Zeiten für das Bereitstellen von Befehlen und Operanden für die Zentraleinheit einer Rechenanlage verkürzen. Anstelle eines gemeinsamen Pufferspeichers für Befehle und Operanden werden hier getrennte Pufferspeicher untersucht. Als weitere beschleunigende Maßnahme wird ein Befehls-Lookahead betrachtet.

Die Eigenschaften der Pufferspeicher und des Befehls-Lookahead wird durch Simulation mit dynamischen Befehlsfolgen ermittelt. Mit Hilfe eines Modells einer Zentraleinheit wird dann der Durchsatz bestimmt, wenn man diese Puffer verwendet. Neben der Puffergröße werden auch die Zugriffszeit des Puffers und die Befehls- ausführungszeit in der Zentraleinheit berücksichtigt.