S={A, Q, V, d, l}, A={a1,,am},Q={q1,qn},V={v1,,vk}- (); a d: Q x A Þ Q l: Q x A Þ V - , . , V - , Q - ; d - , l - . , , S , ( , q0), (S, q0 ); , n n .
d l , . d l, - .
- , . ; d (qi, aj) = qk l (qi, aj)= vl, qi qk , aj vl. '; q2 q1 , a3/v1 a2/v1. - qi , :
1) - ai , qi, aj ( );
2) - aj , qi ( ).
-:
1/0 | 1/1 | 0/1 | 2/0 | |
0/0 | 2/1 | 0/0 | 2/0 | |
2/1 | 0/0 | 1/1 | 1/1 |
1) .
A | ||||||||||||
Qn | ||||||||||||
Q(n+1) | ||||||||||||
V |
2) .
. 3.1
3) .
A | Qn | Q(n+1) | Y | |||
A1(n) | A2(n) | Q1(n) | Q1(n) | Q 1(n+1) | Q 2(n+1) | |
* * * * | * * * * | * * * * |
|
|
4) Y, Q 1(n+1) Q2(n+1)
Q1(n+1)
Q1,Q2 A1,A2 | ||||
* | ||||
* | ||||
* | ||||
* |
Q1(n+1) = Q1(n) Q2(n) v A1 A2 v A2 Q2(n)
Q2(n+1)
Q1,Q2 A1,A2 | ||||
* | ||||
* | ||||
* | ||||
* |
Q2(n+1) = Q1(n) Q2(n) v Q1(n) Q2(n) v A1 Q1(n) Q2(n)
Y
Q1,Q2 A1,A2 | 10 | |||
* | ||||
* | ||||
* | ||||
* |
Y = Q1(n) Q2(n) v A2 v A1 v Q1(n) Q2(n)
5)
, :
9 ;
4 2 .
4.