L0 Formal Systems & Languagues

Autoren: Beat Trachsler und Paul Miotti

Erstaunlicherweise sind die Entwicklungen formaler Sprachen historisch gesehen eng verbunden mit der Analyse der natürlichen Sprachen. Chomsky hat eine ganze Hierarchie von formalen Sprachen gefunden, die für die Klassifikationen der formalen Sprachen von zeitloser Bedeutung sind. Umgekehrt haben diese Ueberlegungen auch den Bau von Compilern zweifellos massiv beeinflusst.

1. Ich (als SchülerIn) erkenne den Zusammenhang zwischen meiner Sprachbenutzung im Alltag und der Entwicklung der formalen Sprachen. Gemeinsamkeiten bestehen im Bedarf nach Kommunikation etc., Unterschiede bestehen in Striktheit, Formalisierbarkeit, Redundanz und Redundanzfreiheit etc.
2. Ich habe einen tieferen Einblick in die Strukturen von natürlichen und formalen Sprachen.
3. Mein Horizont für vor allem formale Sprachen geht über reine Syntaxkenntnisse hinaus.

1. Ich unterscheide zwischen der Bedeutung von Grammatik in meiner Sprachverwendung im Alltag und bei formalen Sprachen.
2. Ich verwende die Begriffe Syntax und Semantik korrekt und sinnvoll.
3. Ich situiere die zwei Beispiele L1 und L2 kompetent in der Chomsky-Hierarchie.

1. Lx sind die eigentlichen Beispiele
2. Lektüren aus „Escher, Gödel, Bach“
3. Tarski's World ?
4. TuringKara

• Ein Sammelbegriff, um die vielen für die Informatik wichtigen Beschreibungen von regelmässigen Vorgängen subsumieren zu können. Nachher folgt wieder eine Typologie von Maschinenmodellen. — Paul Miotti 2008/06/24
• Syntax und Semantik in normalen und formalen Sprachen erklären. — Paul Miotti 2008/06/24