 | | | | | |||||||
| | | | | |||||||
| |
| | | |||||||
| | | | | |||||||
| | | | |
|
3.2.2 Mehr zu Übergängen) |
| Als Skizze Von - Zu |
Formal | Versprachlicht | |
|---|---|---|---|
 |
  |
 (q1,a,x) = {(q1,xx),(q2, )}
|
Versprachlichung
|
 |
 |
(q,'auto', 'Z0') = {(p, 'auto' 'Z0')}
|
Versprachlichung |
 |
 |
(p,)  (q,2,2)
|
Versprachlichung |
Nicht-Deterministische Kellerautomaten
1
2
3
4
5
6
Beispiel
|
|
