ВУЗ:
Составители:
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
- …
- следующая ›
- последняя »
