Konfigurace TS
Myšlenka:
Instance popisu TS
Co vše musí být v konfiguraci popsáno
?
1)
Aktuální stav
2)
Obsah pásky
3)
Pozice hlavy
…
Definice:
Nechť
M
=
(
Q
,
S
,
G
,
R
,
s
,
F
)
je TS.
Konfigurace
TS
M
je řetězec
c
=
xpy
,
kde
x
Î
G
*
,
p
Î
Q
,
y
Î
G
*
(
G
–
{
D
}
)
È
{
D
}.
a
1
p
a
2
a
i
a
n
D
…
…
…
a
1
p
a
2
a
n
D
…
D
D
D
a
i
+1
x
y
x
y
1.
2.
Konfigurace
x
p
y
D
8
/45