Kann man bei KA den Zustand s0 weglassen?

Question

Hallo, 

ich wollte fragen, ob man beim Kellerautomaten auch den Zustand s0 weglassen könnte.

Wäre es nicht möglich, auch ohne diesen auszukommen, also als Anfangszustand s1 zu setzen und beim 2. Übergang stattdessen (s1, a, k0) -> (s1, a k0) zu benutzen? 

Danke

 

Answer 1

Hallo,

ja das wäre auch möglich. In diesem Fall müsste aber S1 auch noch als Endzustand definiert werden, um auch das leere Wort akzeptieren zu können.

Viele Grüße,

Sebastian(Tutor)