Přechod
Definice:
Nechť
c
,
c
’
jsou dvě konfigurace TS
M.
Potom
M
m
ůže provést
přechod
z
c
do
c
’
použitím
r
,
zapsáno
c
|
–
S
c
’
[
r
]
nebo
zjednodušeně
c
|
–
S
c
’
pokud:
c
|
–
X
c
’
[
r
]
pro
nějaké
X
Î
{
S
,
R
,
L
}.
1
2
/45