Theoretische und technische Informatik - ganz praktisch - Letzte Fragen in 2016-H-03

Verständnis

Sat, 09 Feb 2019 13:04:31 +0000

Kann mir jemand diesen Schritt erklären?
Der vordere Teil sagt doch, dass im Zustand 0 eine 1 gelesen wird und das oberste Element auf dem Stack das k0 ist.
Dann wird in s1 gegangen und eine 0 liegt auf dem Stack? Wie soll das gehen wenn eine 1 eingelesen wird und diese dann normalerweise auf den Stack gelegt wird?

(s0; 1; k0) -> (s1; 0k0)

Alternative Lösung 2016-H-03

Tue, 13 Feb 2018 12:46:22 +0000

Hallo,

warum wird hier mit so vielen Zuständen gearbeitet? Meine Lösung wäre

(s0, 0, k0) -> (s0, 0 k0)

(s0, 0, 0) -> (s0, 00)

(s0, 1, 0) -> (s0, lambda)

(s0, 1, 0) -> (s0, 00)

(s0, 1, k0) -> (s0, 0 k0)

(s0, 2, 0) -> (s0, lambda)

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

Endzustand ist se.

Wäre das so auch richtig oder ist es hier nicht möglich, immer im Zustand s0 zu bleiben?

Alternative Lösung 2016- H- 03

Mon, 30 Jan 2017 17:55:10 +0000

Hallo,

2016- H- 03

ich habe eine alternative Lösung die mir im ersten Anblick richtig erscheint. Auch mit Hilfe des Xwizards habe ich keinen Fehler gefunden. Da ich aber weniger Zustände und Übergange als in der ML habe, frage ich mich ob ich nicht doch etwas nicht beachtet habe.

Würde mich sehr freuen wenn einer der Tutoren einmal drüber schauen kann.

Vielen Dank! Grüße

pda:

(s0, lambda,k) => (se, k);

(s0, 0, k) => (s0, ak);

(s0, 0, a) => (s0, aa);

(s0, 1, a) => (s1,lambda);

(s1, 1, a) => (s1,lambda);

(s0, 2, a) => (s1,lambda);

(s1, 2, a) => (s1,lambda);

(s1, lambda, k) => (se, k);

(s0, 1, k) => (s0, ak);

(s0, 1, a) => (s0, aa);

--declarations--

s0=s0;

F=se;

kSymb=k;

inputs=11222

--declarations-end--

Kellerautomat in Lösung korrekt?

Sat, 23 Jul 2016 15:55:48 +0000

Der Kellerwautomat akzeptiert $w=000$, obwohl $w$ kein Element der Sprache oder liege ich falsch?