ΠΛΗ30 ΜΑΘΗΜΑ 4.4

Click here to load reader

  • date post

    19-Aug-2015
  • Category

    Education

  • view

    29
  • download

    4

Embed Size (px)

Transcript of ΠΛΗ30 ΜΑΘΗΜΑ 4.4

  1. 1. 30 4: 4.4: ... .. ..
  2. 2. . . 1. .. 1. .. 2. .. 2. 1. 2. 3. Kleene 4. 5. . 2 , 30, 4.4: ..
  3. 3. . : 3 , 30, 4.4: ..
  4. 4. B. 1. .. .. : .. ... ... .. 4 , 30, 4.4: .. : ( ) (..) . (.) .
  5. 5. B. 1. .. .. 1. ... .. 4.3 . 5 , 30, 4.4: .. : (..)
  6. 6. B. 1. .. .. 2. .. ... 6 , 30, 4.4: .. : : , , Q , q0 . : S , , , : 1. : , , 2. : ( ) : , , (,)
  7. 7. B. 1. .. .. 2. .. ... 7 , 30, 4.4: .. : 3. : ( ) : , , , , , , , , . , , . 4. q , , (,) ,
  8. 8. B. 1. .. .. 2. .. ... 8 , 30, 4.4: .. : ( L= ! | # $: , 0, , 0 , 0, , 1 , 1, , 0 , 1, , 1 0, 0, 0 , 0, 0, 1 , 1, 0, 0 , 1, 0, 1 : 1. ( ) S 0, 0, 0 S 0, 0, 1 q0 q1 (1,) (0, ))** (0, + )*+ (1,)
  9. 9. B. 1. .. .. 2. .. ... 9 , 30, 4.4: .. () 2) : 2.) 0, ,, 1 1 2.) 1, ,, 1 1 q0 q1 (1,) q1 (1,)
  10. 10. B. 1. .. .. 2. .. ... 10 , 30, 4.4: .. () 3) 3.) 0, 0, 0 0 0, , 0 0, 0, 0 0, 0, 0 0 0, , 1 1, 0, 0 0, 0, 1 0 0, , 0 0, 0, 1 0, 0, 1 0 0, , 1 1, 0, 1 3.) 0, , 0 0 0, , 0 0, , 0 0, , 0 0 0, , 1 1, ,, 0 0, , 1 0 0, , 0 0, , 1 0, , 1 0 0, , 1 1, , 1 4) : 0, Z0, 0 / 1, 0, 1 / q0 (0, + )*+ q0 (0, ))**
  11. 11. B. 1. .. .. 2. .. ... 11 , 30, 4.4: .. () ( ): 1|2 22 1 24 1 41 0X1Y1|0X2Y3 42 0X1Y2|0X2Y4 21 0X1X1|0X2X3 22 0X1X2|0X2X4 41 44 , . : .
  12. 12. B. 1. .. .. 2. .. ... 12 , 30, 4.4: .. () (1) , , . 3 3 (2) Y4 4 1. 1|2 41 0X1Y1| 42 0X1Y2|022 1 0X1X1 22 0X1X2 0X21 1 (3) , . 1 . 1|2 41 / 42 022 22 0X21|1
  13. 13. B. 1. .. .. 2. .. ... 13 , 30, 4.4: .. () (4) 1 : 2 |/ 42 022 22 0X21|1 2: 022|/ 22 0X21|1 ( 2 ) :: : ;|< ; =!|! L= ! | # $
  14. 14. B. 2. 14 , 30, 4.4: .. ( ..) ( ..) Kleene ( ..) 3 ... ... : .
  15. 15. B. 2. 1. 15 , 30, 4.4: .. ( ) L1 L2 L1 U L2 L1 , , S1 L2 , , S2 L1 U L2 > :!|:? . .. @ A 0 1 B # 0$ : S 0S 1|/ @ A 1C 0C D # 0$ : S 1S 0|/ @E A @ @ : S | S 0S 1|/ S 1S 0|/
  16. 16. B. 2. 2. 16 , 30, 4.4: .. ( ) L1 L2 L1L2 L1 , , S1 L2 , , S2 L1L2 > :!:? . .. @ A 0 1 B # 0$ : S 0S 1|/ @ A 1C 0C D # 0$ : S 1S 0|/ @E A 0 1 1C 0C B, D # 0$ A @ @ : S S 0S 1|/ S 1S 0|/
  17. 17. B. 2. 3. Kleene 17 , 30, 4.4: .. ( Kleene) L L* . L , , S1 L* > :!:|< . Kleene . .. @ A 0 1 B # 0$ : S 0S 1|/ @E A 0 1 C B, D # 0$ A @ : S |/ S 0S 1|/
  18. 18. B. 2. 4. 18 , 30, 4.4: .. ( ): : L1 A I JC B, D # 0} L2 A C I J B, D # 0} (; ) : L1 @2 A I J B # 0} ( ). ! , : .
  19. 19. B. 2. 5. 19 , 30, 4.4: .. ( ): : L1 A L ,, I, J$ L a b} L2 A L ,, I, J$ L b c} (; ). L A L ,, I, J$ L a b b c } . L : LN A L ,, I, J$ L a, b c } ( ). ! , :
  20. 20. . 1 . 20 , 30, 4.4: ..
  21. 21. . 2 L1 S1 L2 S2 : 1. [email protected] @ P 2. [email protected] @ P [email protected] @ P 21 , 30, 4.4: ..