TS jako model pro přijímání jazyků
Definice:
Nechť
M
=
(
Q
,
S
,
G
,
R
,
s
,
F
)
je
T
S.
Jazyk přijímaný
TS
M
,
L
(
M
)
,
je definován:
L
(
M
) =
{
w
:
w
Î
S
*
,
s
w
|–
*
x
f
y
;
x
,
y
Î
G
*
,
f
Î
F
}
È
{
e
:
s
D
|–
*
x
f
y
;
x
,
y
Î
G
*
,
f
Î
F
}
Myšlenka:
M
přijímá řetězec
w
,
pokud provede
sekvenci přechodů ze stavu
s
do koncového stavu
Il
ustrace
:
w
s
x
y
f
•
Pro
w
¹
e
:
D
D
…
D
D
…
s
x
y
f
•
Pro
w
=
e
:
D
D
…
D
D
…
15/45