Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in Kellerautomaten

Beispiel zu ndet. KA

Thu, 03 Feb 2022 08:29:16 +0000

Ich hab dazu auch noch folgende Frage:

Angenommen wir haben das Wort aabb und wir sollen prüfen, ob der (ndet.) Kellerautomat (KA) die Sprache a^nb^n erkennt. Wenn ich jetzt folgende zwei Zustandsübergange definiere:

(s0,lambda,k0) -> (se,k0)

(s0,a,k0) -> (s0,ak0)

Könnte es dann sein, dass der KA das Wort aabb gar nicht liest und deswegen den ersten Übergang wählt?

Also im Endeffekt sind das ja nicht genau die gleichen Übergänge, jedoch habe ich schon bei Aufgaben gesehen, dass wenn sowas auftaucht, der KA nicht deterministisch ist.

Unterscheidung von deterministischen und nichtdeterministischen Kellerautomaten

Tue, 01 Feb 2022 11:44:28 +0000

Hallo, ich habe eine Frage zur Unterscheidung von deterministischen und nichtdeterministischen Kellerautomaten. Bei Kellerautomaten kann immer auch nichts eingelesen werden obwohl das Wort noch nicht fertig abgearbeitet wurde oder? Gibt es deswegen zwei Zustandsübergänge im selben Zustand und mit demselben Kellerinhalt (einen in dem lamda eingelesen wird und einen in den ein anderes Zeichen eingelesen wird) dann ergibt sich daraus die Nichtdeterminiertheit. Stimmt diese Annahme?

Automat in Aufgabe 41 a) nichtdeterministisch?

Thu, 27 Jan 2022 12:09:15 +0000

Guten Tag,

wieso steht bei Aufgabe 41a) im Übungsbuch, dass der Übergang (s0,y,k0)->(se,k0) nichtdeterministisch sei?

(s0,y,k0) kommt doch sonst auf keiner linken Seite der Übergangsrelation vor und es ist dementsprechend eindeutig, wie der Übergang auszusehen hat oder?

Bei Aufgabe 44 verstehe ich die Begründung ,,Durch die Übergange (s0,y,k0) gekoppelt mit (s0,a,k0), [...] wird der Automat nichtdeterministisch." ebenso wenig.

Mit freundlichen Grüßen

uzhrz

verstandnis problem

Mon, 27 Dec 2021 19:11:39 +0000

Hallo,

Ich kann nicht die Idee verstehen.Können Sie bitte erklaren,wann ich die Zustanden andern. Und sind diese Zeilen abhangig voneinander?

nicht deterministischer Kellerautomat

Fri, 19 Mar 2021 11:50:12 +0000

Hallo,

ist vielleicht eine blöde Frage, aber warum muss ein Kellerautomat nicht deterministisch sein?

Ich könnte doch auch immer einen det. Kellerautomaten erstellen und für jeden Zustand nochmal extra einen Lambda Übergang definieren. Wäre zwar umständlich, hätte jedoch trotzdem einen nicht det. Kellerautomaten.Oder liege ich damit falsch?

viele Grüße

Wann akzeptiert ein Kellerautomat das leere Wort?

Tue, 16 Mar 2021 12:25:37 +0000

Hallo, ich wollte fragen, wann ein KA das leere Wort akzeptiert. Bei A42 ist bei der Definition von L: i element N₀, weshalb

w = (ab)⁰(ba)⁰ = leeres Wort? erlaubt wäre oder nicht? In der Musterlösung ist das meiner Interpretation nach allerdings nicht möglich.

Vielen Dank

HK 2019 Aufgabe 1

Mon, 15 Mar 2021 00:49:17 +0000

Hallo,

woran erkennt man bei dem definierten Kellerautomaten, dass er nichtdeterministisch ist? Ich dachte, dass dafür eine Konfiguration auf zwei verschiedene Zustände mit Keller zeigen muss, was ja hier nicht der Fall ist, alles ist eindeutig definiert. Bei dem Ablauf dazu in Teil b) ist dann an einem Abschnitt eine Verzweigung mit einem a oder dem leeren Wort. Wieso ist genau an dieser Stelle beides möglich? Hängt das auch damit zusammen, dass der Kellerautomat als nichtdeterministisch gekennzeichnet ist?

Vielen Dank schon mal fürs Anschauen und viele Grüße

Aufgabenstellung HK 2019 Aufgabe 1

Sun, 14 Mar 2021 21:20:22 +0000

Hallo ich habe eine Verständnis Frage zur Aufgabenstellung. In der Aufgabenstellung wird ja w als a(^i)b(^j)c(^k) nacheinander definiert. Warum ist dann zum Beispiel abaaabcc auch zulässig? Vom Verständnis her hätte ich nach der Definition erwartet dass nur alle a‘s stehen dann alle b‘s und dann alle c‘s.

zustandsübergang bei KA

Mon, 10 Feb 2020 15:20:16 +0000

Hallo,

eine ähnliche Frage wurde schonmal gestellt, allerdings hilft mir die Antwort auf diese nicht weiter. Warum wechselt man bei Aufgabe 44 aus dem Übungsbuch sofort in den Zustand s1 nach Eingabe eines a? Könnte man nicht im Zustand s0 die a's stacken?

Danke und LG

Keller erst später leeren

Mon, 10 Feb 2020 12:48:18 +0000

Hallo,

Kellerautomaten akzeptieren ein Wort ja nur, wenn man im Endzustand angelangt, das Wort verarbeitet wurde und der Keller leer ist. Kann ich auch nach Verarbeitung meines Wortes einen Zustand einführen, der einzig dazu da ist, den Keller wieder zu leeren? Oder muss ich mit Verarbeitung des Wortes den Keller geleert haben um in einen Endzustand springen zu können?

Bsp: Wäre dies möglich:

(s3, lambda, a) -> (s4, lambda)

(s3, lambda, b) -> (s4, lambda)

s3, lambda, k0) -> (se, k0)

Vielen Dank!

Ndet. Kellerautomaten Verständnis

Sun, 09 Feb 2020 14:54:43 +0000

Hallo :)

Warum werden Zustände/Zustandübergänge extra definiert, damit der Automat nicht-det. ist, wenn er durch den Lamdaübergang von s0 schon diese Eigenschaft hat?

Vielen Dank :)

was ist der unterschied zwischen dem Wort und der Bandinschrift

Sat, 08 Feb 2020 10:08:52 +0000

Kellerautomaten alternative Lösung

Thu, 06 Feb 2020 09:15:15 +0000

Hallo,

bei den Übungsaufgaben zu Kellerautomaten erhalte ich eigentlich nie das Ergebnis wie in der Musterlösung. Jedoch finde ich in meiner Lösung auch keinen Fehler.

Ist es möglich irgendwie trotzdem zu überprüfen ob der KA richtig ist?

Oder geht nur die eine Lösung aus der Musterlösung?

Vielen Dank und Grüße

HK, WS 18/19, Aufgabe 1

Tue, 14 Jan 2020 08:19:54 +0000

Hallo,

hab zwei Fragen zu dieser Aufgabe (HK, 18/19):

1. Warum ist bei diesem Kellerautomat das leere Wort zugelassen, obwohl die Einschränkung i>0 besteht (also nach meinem Verständnis mindestens ein a vorkommen muss) ?

2. Warum ist im Kelleralphabet (a,b,c,ko) angegeben, obwohl nur a und ko auf das Kellerband geschrieben werden?

Vielen Dank für die Antworten,

Gruß

Verständnisfrage (nicht-)deterministische Automaten

Sat, 11 Jan 2020 13:08:19 +0000

Hallo, ich habe eine Verständnisfrage bezüglich des nicht-deterministischen Kellerautomatens: Kann ich auch einen deterministischen Kellerautomaten erzeugen für die Aufgabe, da wir gesagt hatten, dass deterministische Automaten gleichzeitig nicht-deterministische sind?

Vielen Dank!

Rückfrage zu der Frage zu Aufgabe 43

Fri, 10 Jan 2020 13:29:17 +0000

Hallo,

ich hab mich das Gleiche gefragt.

Ich bin bisher immer davon ausgegangen, dass Kellerautomaten ein Wort akzeptieren, wenn diese bei Abbruch in einem Endzustand sind und das Wort vollständig abgearbeitet ist. (Stimmt das nicht?)

Gäbe es in diesem Beispiel z.B. die EIngabe $a, so würde der KA ja über die zuvor vorgschlage Überführung sofort in den Endzustand s2 wechseln und das Restwort "a" würde stehen bleiben. Da es von s2 keine Überführung mit a gibt bricht der Automat ab aber das Wort wäre ja noch nicht vollständig abgearbeitet. Akzeptiert der KA dieses dann trotzdem?

Danke und LG!

Kellerautomat Endzustand

Wed, 08 Jan 2020 20:42:59 +0000

Hallo,

kann man bei dieser Aufgabe nicht auch mit (s0, Dollar, k0) -> (s2, k0) direkt in den akzeptierenden Zustand übergehen?

Also bei einer Eingabe von "Dollar" direkt in den akzeptierenden Zustand übergehen, und nicht über den Umweg wie in der Musterlösung. Falls nach dem "Dollar" noch etwas kommt bricht der Automat ja ab und akzeptiert das Wort somit nicht?

Danke im Vorraus

$PS: Dollar Zeichen geht leider nicht sonst sieht Text so aus XD$

zusätzliche Regeln erforderlich?

Mon, 06 Jan 2020 13:36:25 +0000

Hallo,

müsste in der Lösung nicht stehen: (s3,1,b) -> (s3,1b) anstatt (s3,b1)?

Und wenn man das Testwort 100 betrachtet, fehlt dann nicht bei s3 noch ein (lambda,1,lambda) Übergang, damit die 1 im Keller gelöscht wird und man im Endzustand s0 landet?

Verständnisproblem

Mon, 06 Jan 2020 12:30:48 +0000

Das u' ist doch die Spiegelung von u oder?

Bedeutet (s0,Dollar,a) -> (s1,a), dass noch ein weiteres a in den Keller geschrieben wird?

Oder bleibt der Keller trotz des Hinzufügens von Dollar unverändert?

Wie löse ich Aufgabe 46 unter Benutzung des Kellerspeichers?

Fri, 03 Jan 2020 10:34:14 +0000

Hallo,

in der Musterlösung zu Aufgabe 46 aus dem Übungsbuch 1 ist ein Kellerautomat ohne Kellernutzung angeben. Es steht der Hinweis dabei, dass ein Alternative mit Kellernutzung weniger Zustände benötigen würden. Wäre folgender Ansatz ein richtige Alternative?

(s0,a,k0) => (s1,ak0) // Wort beginnt mit a

(s0,b,k0) => (s0,bk0) // Wort kann mit beliebig viele zweier Paaren an b's beginnen

(s0,b,b) => (s0, Lambda) // matchen von 2 b's

(s1,a,a) => (s1,aa)

(s1,b,a) => (se,k0) // Ist es möglich den Keller der bisher aus "aak0" besteht sofort durch "k0" zu ersetzten? Abbruchkriterium des Wortes ist ja wegen aab am Ende erfüllt

Danke und LG

Kellerautomat - Mehr als ein Zeichen auf den Stack legen

Thu, 04 Jul 2019 21:00:01 +0000

Hallo,

Ich hätte folgende Frage: Sind Übergänge gemäß der Art (S,a,ak0) -->(S, ,aaak0) bei Kellerautomaten erlaubt? Darf man auf den Stack mehr als ein Zeichen pro Übergang drauflegen? Das würde z.B Aufgabe 45 sehr viel leichter machen.

LG,

uzpth

Kap.3 Kellerautomaten, Folie 15

Wed, 09 Jan 2019 09:14:34 +0000

Im Kap. 3 Folie 15 steht LEA(E) = Lndet-EA(E) müsste es aber nicht heissen LEA(E) Teilmenge von Lndet-EA(E) ? Die Sprachen, die mittels eines deterministischen EA erzeugt werden können sind doch in den Sprachen der nichtdeterministischen EA enthalten, aber nicht gleich ?

Danke schon mal im Vorraus.

Grüße

uxiwq

Voraussetzungen für die Terminierung des Kellerautomaten

Fri, 09 Feb 2018 17:59:55 +0000

Hallo,

ich würde gerne wissen, ob der Stack eines Kellerautomaten leer sein muss, damit das eingegebene Wort erkannt wird.

Im Buch steht so weit ich weiß, dass der Inhalt des Stacks am Ende egal ist. Allerdings habe ich auch mehrfach Definitionen gelesen, die aussagen, dass der Stack zum erkennen eines Wortes leer sein (also nur noch k0 enthalten) muss.

Vielen Dank für die Beantwortung der Frage. :)

Wieso ist der KA bei einem Zustandsübergang wie diesem nichtdeterministisch?

Sat, 03 Feb 2018 20:58:57 +0000

Sind KA die einen lambda-Übergang besitzen generell nichtdeterministisch?

Neue Zeichenkette Keller-Automat

Mon, 15 Jan 2018 11:30:58 +0000

Hallo,

in der Musterlösung gibt es folgende Zustandsübergänge:
(s0, a, k0) -> (s0, a k0)
(s0, a, a) -> (s1, a)
(se, a, k0) -> (s0, a k0)

Wieso steht bei der neuen Zeichenkette beim zweiten Zustandsübergang nur ein "a" und kein "a k0" ? Ist das egal, oder steckt da ein Sinn dahinter?

prüfen ob eine Überführungsfunktion richtig ist

Fri, 05 Jan 2018 12:44:22 +0000

Kann ich mit XWizard überprüfen, ob meine Überführungsfunktion richtig ist?

Gibt es eine andere Möglichkeit diese auf vollständige Korrektheit zu prüfen?
Durch ein Testwort wird es ja noch nicht allgemein gezeigt...

diese Lösung auch möglich?

Fri, 05 Jan 2018 12:43:58 +0000

Wäre dieser Übergang auch möglich?:

(s0, b, ko) -> (s1, bko)
(s0, a, ko) -> (s2, ako)
(s1, b, b) -> (s0, lambda)
(s2, a, a) -> (s3, lambda)
(s3, b, ko) -> (s4, lambda)
(s4, lambda, ko) -> (s4, ko)

wenn nur 4 Endzustand ist ?

Vielen Dank.

zusätzliches Symbol für das Kelleralphabet

Fri, 05 Jan 2018 12:43:46 +0000

Normalerweise setzt sich das Kelleralphabet, wenn ich es richtig verstanden habe, aus dem Eingabealphabet + ko zusammen.
Hier in der Aufgabe wurde noch ein b hinzugefügt, wann gehe ich so vor, bzw wozu verwende ich das?

mehrere Kellerzeichen gleichzeitig löschen?

Fri, 05 Jan 2018 12:43:17 +0000

Ist es möglich mehrere Kellerzeichen in einem Schritt/Übergang zu löschen?

Könnte ist also zb (s0, 0, ko) -> (s0, 0ko)
(s0, 0, 0) -> (s1, 00)
(s1, 1, 00) -> (s1, k0)

also Übergänge definieren?

Alternativlösung (a)

Tue, 25 Jul 2017 16:12:28 +0000

Hallo,

ist diese Lösung auch korrekt?

@[ID-31298]@

Vielen Dank im Voraus und viele Grüße!

Kellerautomaten auf Richtigkeit überprüfen

Sun, 23 Jul 2017 15:56:12 +0000

Hallo,

wenn ich einen Kellerautomaten aufgestellt habe und überprüfen will, ob dieser richtig ist, ist es dann grundsätzlich richtig für ein Testtwort die Konfigurationenfolge durchzugehen oder gibt es noch ein anderes Kriterium, um meinen Automaten zu testen ?

Denn sehr oft weicht meine Lösung von der Musterlösung ab, aber die Testwörter lassen sich immer ableiten.

Vielen Dank und viele Grüße !

fehlender Zustand mit drin

Tue, 18 Jul 2017 06:28:51 +0000

Guten Tag,

eine kurze Frage nun von mir dazu :D

falls der Übergang (s1,b,b)-> (s1,lamdba) nun da wäre, dann wäre der Automat richtig oder?

verstehe nämlch nicht weshalb wir direkt in den Zustand s1 wechseln, würde weiterhin in s0 bleiben, bin jetzt aber nicht sicher, ob das zulässig ist.

PS: zum xWizard, wie sehe ich dort ob mein Kellerautomat denn richtig ist?

Vielen Dank für eine kurze Antwort

LG ucetv

Alternative Lösung

Sun, 16 Jul 2017 17:17:09 +0000

(s0,a,k0) -->(s1, ak0)

(s1, b, k0) -->(s1, bk0)

(s1, a, a) -->(s1,aa)

(s1, a, b) -->(s1,ab)

(s1, b, a) -->(s1,ba)

(s1, b, b)-->(s1,bb)

(s1, $, k0)-->(s2,k0)

(s1, $, a)-->(s2,a)

(s1, $, b) -->(s2,b)

(s2, a, a)--> (s2,lambda)

(s2, b, b)-->(s2,lambda)

(s2, lambda, k0) -->(se,k0)

Ist dieser Automat genauso möglich. Habe direkt angefangen einen neuen zustand zu definieren und habe dementsprechen immer 1 mehr

KA |w|a mod 2 = 0

Sat, 11 Feb 2017 18:01:56 +0000

Hallo,

Ist es auch möglich bzw. erlaubt ein Zeichen mit sich selbst abzugleichen? Sprich ich möchte einfach nur überprüfen, ob die Anzahl eines Zeichens durch 2 teilbar ist, kann ich dann schreiben:

(s0, a, k0) -> (s1, ak0)
(s1, a, a) -> (s0, k0)
(s0, lambda, k0) - > (sE, k0)

Übungsaufgabe 41a)

Fri, 10 Feb 2017 10:59:44 +0000

Hallo,

verstehe ich das richtig, dass bei einem Testwort (bspw. aab) der Keller im Endzustand nie leer ist? (Ein a bleibt drin stehen)

Ist das in Ordnung weil der KA nicht deterministisch ist oder wie kann ich das deuten? Ich dachte, dass das Wort immer vollständig gelesen sein muss + der Keller leer sein muss, sodass ein Wort akzeptiert wird.

Vielen Dank im voraus.

Aufgabe 44 Übungsbuch

Tue, 07 Feb 2017 13:13:48 +0000

Hallo, ich habe eine Frage zu dieser Aufgabe.

Könnte man Zustand S3 und S4 nicht auch in einen Zustand packen ? Die beiden Zustände sagen ja nur, dass man ab jetzt mit a oder b löscht, da die "Einlesephase" von den a´s zu Beginn beendet ist und man jetzt mit dem löschen Anfängt

Zustände bei Kellerautomaten

Mon, 06 Feb 2017 22:02:09 +0000

Hallo zusammen, ich habe eine Frage zu Kellerautomaten. Wie kann ich am Besten mir einteilen wann ich einen Zustand wechsle. Oft weichen meine Zustände von denen der Musterlösung ab, auch wenn ich sonst alle schritte gleich habe.

Wie kann ich am besten mir die Zustände einteilen.

Grüße

Alternative Lösung?

Mon, 06 Feb 2017 18:28:19 +0000

(s0, a, k0) →(s1,a)

(s1,a,a) →(s2,a)

(s2,b,a) →(s0,λ)

wobei F={s0}

Alternativ

Thu, 26 Jan 2017 17:55:09 +0000

Hallo,

kann man hier $(s0,\$,k_0) \rightarrow (s_2,k_0)$

statt

$(s_0,\$,k_0) \rightarrow (s_1,k_0)$ und $(s_1,\lambda,k_0) \rightarrow (s_2,k_0)$

schreiben ?

Danke

Lambda Übergang, KA nicht det

Thu, 26 Jan 2017 17:29:16 +0000

Guten Abend,

normalerweise ist der Übergang (s,lambda,k) , k gehört zu K, bei deterministischen Kellerautomaten undefiniert.

Wie ist dann der KA A von der Aufgabe 42 (KEL-AE) deterministisch obwohl er den Übergang (s2,lambda,k0) --> (Se,k0) enthält ?

Danke im voraus

Aufwand Spracherkennung

Wed, 25 Jan 2017 06:17:25 +0000

Hallo

In der nuKIT Umfrage zu Kapitel 3 ist bei der siebten Frage als richtig vermerkt :
1. Der Aufwand zur Spracherkennung bei deterministischen Kellerautomaten ist linear in der Wortlänge.
Weiter ist auch richtig :
2. Der Aufwand zur Spracherkennung bei deterministischen Kellerautomaten ist $O(n^3)$.

Wie können diese Antworten denn zusammenpassen?

Ist folgender Übergang für $\delta(s_0, \$, k_0)$ auch möglich?

Tue, 24 Jan 2017 14:29:00 +0000

Kann anstelle von

$\delta(s_0, \$, k_0) = (s_1, k_0)$

auch

$\delta(s_0, \$, k_0) = (s_2, k_0)$

bei sonst gleicher Konfiguration von $\delta$ verwendet werden? Falls nch $\$$ noch Buchstaben kommen würden (also das Wort nicht mehr Teil der Sprache ist) wäre der KA ja im Endzustand aber hätte das Wort nicht abgearbeitet --> nicht akzeptiert oder?

LG

Musterlösung, $(s_2, 1100000, k_0) \Rightarrow (s_3, 1100000, bk_0)$, wie kommt dieser Übergang zustande?

Mon, 23 Jan 2017 16:20:43 +0000

Ich verstehe nicht wie man bei der Erkennung des Testworts hier von $s_2$ zu $s_3$ kommt, die einzigen in der Musterlösung angegebenen Übergänge von $s_2$ sind :

$$(s_2, \lambda, k_0) \rightarrow (s_3,bk_0) \mbox{und} (s_2,\lambda,0) \rightarrow (s_1,\lambda)$$

Wenn das Zeichen ganz links eine $1$ ist fehlt somit ein Übergang um den in der Musterlösung angegebenen Schritt $(s_2, 1100000, k_0) \Rightarrow (s_3,1100000,bk_0)$ zu vollziehen. Oder übersehe ich hier etwas?

Definition neuer Zustände

Mon, 16 Jan 2017 16:21:54 +0000

Kann mir jemand erklären, wann man grundsätzlich bei einem Kellerautomaten einen neuen Zustand definiert?

LG

alternativlösung

Sun, 15 Jan 2017 13:53:32 +0000

Hi,

ich wollte fragen ob diese alternativlösung korrekt ist :

(s0, a, k) => (s1, k);
(s0, lambda , k) => (se, k)
(s1, a, k) => (s2, ak);
(s2, b, a) => (s0, lambda);

Vielen Dank im voraus

(s3; 1; b) -> (s3; b1) Kann man Kellerzeichen im Keller tauschen?

Sat, 14 Jan 2017 12:43:04 +0000

Hallo,

ich dachte, man könne Kellerzeichen nicht tauschen, da der Keller ja nach dem LIFO Prinzip funktioniert und ich doch eigentlich auch nur das oberste Kellerzeichen lesen kann. (Es geht um den zweiten Zustand von unten) Ist das doch möglich? Wenn nein, ist dann auch die Ableitung des Testwortes falsch?

Vielen Dank

Alternativlösung Kellerautomat

Fri, 13 Jan 2017 10:14:59 +0000

pda:
(s0,a,k)=>(s1,ak);
(s1,b,a)=>(s1,lambda);
(s1,a,k)=>(s1,ak);
(s1,b,k)=>(s2,bk);
(s2,a,b)=>(s2,lambda);
(s2,b,k)=>(s2, bk);
(s2,lambda,k)=>(s0, k);
--declarations--
s0=s0;
F=s0;
kSymb=k;
inputs=ababbaba
--declarations-end--

Wäre diese Alternativlösung korrekt oder wo genau liegt der Fehler?

Alternativlösung (schon wieder)

Mon, 09 Jan 2017 10:02:31 +0000

Hallo zusammen,

ist auch folgende Lösung korrekt?

so,a,ko --> s1,ako

s1,a,a --> s1, lambda

s1,b,ko --> se, ko

so,b,ko --> s2,bko

s2,b,b --> so,ko

Und wie kann ich gewährleisten, dass der Automat nichtdeterministisch ist?

Viele Grüße und vielen Dank

Kellerautomat Zustandsüberführungsfunktion

Tue, 15 Nov 2016 16:00:39 +0000

laut Definition aus dem Buch heißt es für die KA Zustandsüberführungsfunktion:

entweder $\delta(s, e, k) = (s', v)$ oder $\delta(s, \lambda, k) = (s', v)$ mit $e \in E$, $s,s' \in S$, $k \in K$, $v \in K^\star$.

$v$ stellt hier eine Zeichenkette dar, die beliebig lang sein kann ( also auch $\lambda$). Hab ich das richtig verstanden? Mir ist nicht ganz klar wann es sich anbietet $|v| > 1$ zu verwenden? Kann mir jemand eine Beispielsprache nennen? Vor allem da ich eigentlich verinnerlicht hatte, dass nur EIN Zeichen aus dem Keller gelöscht und EIN Zeichen reingeschrieben werden kann. Bezieht sich $v$ hier etwa auf den gesamten Kellerinhalt?

Wieso Sprache von Typ 1?

Sun, 14 Feb 2016 08:53:53 +0000

Hallo,

wieso gehört die Sprache L in dieser Aufgabe zum Typ 1? Sie beinhaltet doch das leere Wort und ich dachte dass das bei Typ 1 Sprache nicht erlaubt sei?