2.2.1. (instantaneous description) , .
2.2.2. " " . , , , " ", w , ( ), q - " ".
2.2.3. M ( (step)) . , . .
2.2.4.
2.1.2. .
2.2.5. , .
2.2.6. 2.1.2 .
2.2.7. . L(M) , .
2.2.8. , .
. , .
2.2.9. .
, .
2.2.10. M, q1, q2 x, y, z, ?
2.2.11. |Q|, , , |w| ( ) ?