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.