q
0
q
k
q
k
a
i
, q
j
−→ a
k(i,j)
, q
l(i,j)
, (R, L)
i = 0, 1, . . . , m; j = 0, 1, . . . , k
a
i
q
j
a
k(i,j)
,
q
l(i,j)
k l
x ω
0
⊂ ω
0
ω
0
y x
T [T ]
T !x A [T ], x
T !x A
0
n ∃T : [T ] = n &T !n
T
0
n T
0
!n ∃T : n = [T ] &T 6!n
A
0
A
0
T
0
T
0
![T
0
] T
0
6![T
0
] A
A
0
n
T x
n
f
T
(n) T
n f
T
T
F
F