Unterabschnitte
Ein DKA ist ein NKA
mit folgenden Einschränkungen
-
:
Von jedem Zustand darf höchstens ein Übergang mit derselben Inschrift für dasselbe oberste Kellersymbol stattfinden (dasselbe wie bei deterministischen Automaten)
-
:
Es darf von jedem Zustand höchstens ein
-Move für dasselbe oberste Kellersymbol ausgehen.
-
:
Wenn ein
-Übergang von einem Zustand ausgeht, so darf von diesem kein weiterer Übergang mit demselben obersten Kellersymbol ausgehen.