faecher:informatik:oberstufe:automaten:kellerautomaten:start

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen angezeigt.

Link zu dieser Vergleichsansicht

Beide Seiten der vorigen Revision Vorhergehende Überarbeitung
faecher:informatik:oberstufe:automaten:kellerautomaten:start [23.06.2022 08:21] sbelfaecher:informatik:oberstufe:automaten:kellerautomaten:start [Unbekanntes Datum] (aktuell) – gelöscht - Externe Bearbeitung (Unbekanntes Datum) 127.0.0.1
Zeile 1: Zeile 1:
-====== Klammersprachen und Kellerautomaten ====== 
  
-Die Sprache **L<sub>Klammer</sub>** soll alle solche Klammerausdrücke enthalten, bei denen nach einer Folge öffnender Klammern genau so viele schließende Klammern folgen.  
- 
-Nicht zur Sprache L<sub>Klammer</sub> gehören z.B. die Klammerausdrücke  
-  (()  
-und  
-  (()))) 
-Ebenfalls nicht zu dieser Sprache gehört der Klammerausdruck ''()()'' 
-<WRAP center round tip 90%> 
- 
-Die Sprache L<sub>Klammer</sub> wird oft auch etwas formaler in der folgenden Form dargestellt:  
- 
-L<sub>ab</sub> = {a<sup>n</sup>b<sup>n</sup> | n = 1, 2, 3, ...} 
- 
-Die öffnenden Klammern werden durch das Symbol ''a'' repräsentiert, die schließenden Klammern durch das Symbol ''b''. Man erkennt, dass es sich nicht unbedingt um Klammern handeln muss. Entscheidend ist, dass die Anzahl der ''b'' genau der Anzahl der zuvor aufgetretenen ''a'' entspricht. 
-</WRAP> 
- 
----- 
-{{:aufgabe.png?nolink  |}} 
-=== (A1) Vorüberlegungen === 
- 
-**(a)** Konstruiere einen endlichen Automaten, der die Sprache L<sub>Klammer2</sub> aller Klammerausdrücke der Tiefe 2 erkennt.  
-Zur Sprache gehören z.B.  
-  (()), ()(), (), (()()) 
-Nicht zur Sprache gehören z.B.  
-  ((()), ((())), ()), )(, )()( 
- 
-**(b)** Gibt es einen endlichen Automaten A, der die Sprache  L<sub>ab</sub> = {a<sup>n</sup>b<sup>n</sup> | n = 1, 2, 3, ...} erkennt?  
- 
-