Theoretische und technische Informatik - ganz praktisch - Letzte Fragen & Antworten in SAA-1-2

Beantwortet: Unklarheit bei Sprachdefinition

Fri, 05 Feb 2016 18:22:14 +0000

Hallo uwduw!

Nein, die Sprachdefinition besagt, dass L die Vereinigung aller Wörter darstellt, die mit m Elementen aus der Menge {a,b} beginnen und mit n Elementen aus der Menge {c,d} enden, wobei m>=n>=0 gelten muss. Die fettgedruckten Satzteile sind die Informationen, die in dem von dir angesprochenen Vereinigungszeichen „drinstecken“!

Ich hoffe, das hilft dir weiter!

Viele Grüße,
Janine (Tutorin)

Beantwortet: Kellerautomat unvollständig?

Mon, 18 Jan 2016 22:01:54 +0000

Hallo uagll,

es ist in dieser Aufgabe kein extra Zustand Se definiert. Außerdem wäre der Automat mit dem Übergang (s1, lambda, a) nicht mehr deterministisch, da für den Zustand s1 und das Kellerzeichen a bereits ein Übergang definiert ist. Der Übergang in den Enzustand mit dem leeren Wort ist aber auch nicht notwendig, weil s0 und s1 beides Endzustände sind. Das Wort wird also akzeptiert, sobald es der Automat abgearbeitet hat.

Viele Grüße

Gregor (Tutor)

Beantwortet: Kann man die Regel (s1,c,a) -> (s1,lambda) auch weglassen?

Tue, 22 Sep 2015 11:57:18 +0000

Hey,

durch das Löschen von einem je einem a für jedes c stellen wir sicher, dass auch die Voraussetzung \( m \geq n \geq 0 \) nicht verletzt wird.

Die Regel (s1,a,lambda) -> (s1,a) brauchen wir nicht, weil im Zustand s1 keine a mehr eingegeben werden, das muss ja vollständig geschehen BEVOR das erste c oder d kommt.

Hoffe das hilft!

PS: Weshalb bist du der Meinung, dass man die Regel weglassen könnte?