.


:




:

































 

 

 

 


.




. : "" . , . , 2.1. 2.1.1. V1={a,b}; L1={aabb, baa, aaba}. . . , G1 : G1: S→ aabb S→ baa S→ aaba . 2.1.2. V2={a,b}; L2={anbn | n≥0}. L 2, , : , , , b, . , b, . S → aSb, : S⇒ aSb ⇒ aaSbb ⇒... ⇒ aa...aSb... bb. , G 2, . S, S → ε. : G2: S→ aSb S→ ε a3b3: S⇒ aSb ⇒ aaSbb ⇒ aaaSbbb ⇒ aaabbb. 2.1.3. V3={a,b,c}; L3={anbcm| n, m>0}. L3 ( , ), , . : G3: S→ ABC A→ aA A→ a B→b C→ Cc C→ c . (.. ) '|': G3: S→ ABC A→ aA | a B→b C→ Cc | c

G3: S ⇒ ABC ⇒ aABC ⇒ aaABC ⇒ aaaBC ⇒ aaabC ⇒ aaabCc ⇒ aaabcc. , . . , . : S ⇒ ABC ⇒ ABC ⇒ ABc ⇒ Abc ⇒ aAbcc ⇒ aaAbcc⇒ aaabcc. , , , : S⇒ ABC ⇒ ABC ⇒ aAB ⇒ aAb ⇒ aaAb ⇒ aaAbc ⇒ aaabcc. G 1-G3 "A→ α " , , . , , "- () ". , , , , . aaabcc, , G3 (. 2.2). - , . , -, . , , , , , . , Q, , 12... , Q→12... .

, , - , . , , -, ( , ). -. , - ,, . .. , (), , , , "" , , . .





:


: 2017-02-28; !; : 705 |


:

:

: , .
==> ...

776 - | 743 -


© 2015-2024 lektsii.org - -

: 0.012 .