Sta
cionární
přechod
Definice:
Nechť
c
,
c
’
jsou dvě konfigurace TS
M.
Potom
M
m
ůže provést
st
acionární 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
p
a
y
,
c
’ =
x
q
b
y
a
r
:
p
a
®
q
b
S
Î
R
a
x
y
p
Ilustra
ce
:
Pravidlo
:
p
a
®
q
b
S
a
x
y
p
Konfigurace
b
x
y
q
b
x
y
q
Nová konfigurace
9
/45