ВУЗ:
Составители:
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
& $ # q 0 ) $ # $ # q $ $ ) # k # q ' k ) %$ & $ " a , q −→ a i j k(i,j) , ql(i,j) , (R, L) # i = 0, 1, . . . , m; j = 0, 1, . . . , k (' $ ' a # q # i j $ a ' # ql(i,j) k(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 n T !n ∃T : n = [T ] &T 6!n 0 0 ) ) A $ 0 ' A & ) 0 T0 ' T0 ![T0 ] T0 6![T0 ] ' A A0 ) $ ) $ ' $ ) n $ $ ) ' ' ) T # x # ) ) n % f (n) ' T # $ n & f $ ' $ ) T T # T ' %& F $ ' $ ' F ) $
Страницы
- « первая
- ‹ предыдущая
- …
- 18
- 19
- 20
- 21
- 22
- …
- следующая ›
- последняя »