Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ30 ΜΑΘΗΜΑ 3.2 (ΕΚΤΥΠΩΣΗ)

5,414 views

Published on

1) Πεπερασμένα Αυτόματα
1.1) Λειτουργία και Παραδείγματα
1.2) Τρόπος Εκτέλεσης
2) Ντετερμινιστικά Πεπερασμένα Αυτόματα
2.1) Επεξήγηση Όρων
2.2) Ορισμός Κανονικής Γλώσσας
2.3) Τυπικός Ορισμός ΝΠΑ
3) Μεθοδολογία
Ασκήσεις

Published in: Education
  • Be the first to comment

  • Be the first to like this

ΠΛΗ30 ΜΑΘΗΜΑ 3.2 (ΕΚΤΥΠΩΣΗ)

  1. 1. 30 3: 3.2: ! "#$ ! ! " # $ !" # % & " ' $ $ ( ) * +#, - ! ) % + # . . # ! # #! %# # #! & : & '# # #& #'#(#)& ! & '# * !" # & '# * ! ! #$ # # # ( ) & '# (-) B. + , & 1. # # 1. # )& ' &) $!" # !: # # ML ! )(- ! L & & % # & #'# & .#(# • « » . *x∈Σ Lx∈• « » . • / # ... ) , &0 ' ! ! .#(# ! # # L • « » 1 . • / # ... # & ! .#(# ! # ' # L Lx∉
  2. 2. B. + , & 1. # # 1. # )& ' &) %!" # ' ) 1: # # # ! )(- ! L={w | w % # 00} & # (# #: & ' ( 0 0 0,11 ) ' ) : ) , &0 .#(# 010010 # & .#(# 101011 '# # % & # #& 0# # # & : & ' ( 1 % . ( ( ' . 0, # x x B. + , & 1. # # 1. # )& ' &) )!" # ' ) 2: # # # ! )(- ! L={w | w ( - 00} & # (# #: & ' ( 0 0 1 01 1 1 ' ) 3: # # # ! )(- ! L={w | w %&0 00} & # (# #: & ' ( 0 0 0,1 0,1 1 1 B. + , & 1. # # 2. #! ( ! *!" # # # ( # ) & ,! 2 !: 3 % ( # # & # ' ) . 0 # # $ .#(# & #'# #(# & # . (#! # # % & # $ .#(# # ' . . ( . # ' . # # . (# % ' . & ( & #'#!.# . (# % ' . & ( & #'#!. # (#! ! '# : * & & ( , ) , &0 & #'#, ' ( ' (# & .#(# )(- ) * & & ( , # & & #'#, ' ( ' 1 ( .#(# ' )(- ) B. + , & 2. # # 1. 2 ) 4 , +!" # # # ( ' &) % &0 : ( # ): # &0 # # ( ) . # # # $ .#(# # # & ' . &. ( ( ) , 5 $) .-! . ( 0 .-! . ( 1. + ( # # #: # ! # ! & ! ( % !) ( # ( ! $( !) #: & % ' ' & ( & ) ) - ! ! .#(# ! -! & )(- # & % # # ( . . .) # ) , &0 ! .#(# ! !.
  3. 3. B. + , & 2. # # 2. ! # ! (- ! (2 ) ,!" # ! # ! (- !: & )(- ( ) # 6 % # 5 ( . .) # ) 5 . 6 % # # ( . . .) # ) , &0 ! .#(# ! !. 7 ) ' &2# & )(- & # &: '- # . . # ) ! ./ ! ! )(- ! '- # . . . # ) , &0 ! .#(# ! ! )(- ! 7 , ' , # # ! ! . . # . . & #'$ ! ( # &' '# ( , #' $# & )(- & # ) B. + , & 2. # # 3. ! ( !) ! -!" # !: 8 # # & & 5- ' M=(Q, ,q0,',F) 4 # : Q & # $ #(# , ,Q & # $ #(# , , & # (5 . # , . (, '# & % & . ! ( .%. '(q1, )=q2 & q1 ' . # , . & # q2) & # $ #(# , ( - , Qq ∈0 QQ →Σ×:δ QF ⊆ B. + , & 1. # # 3. ! ( !) ! --!" # ' ) : # # # ! )(- ! L={w | w % # 00} & # (# #: & ' ( 0 0 0,11 ) 5 ' : M=(Q, ,q0, ', F) # : Q={ ,*, } ={0,1} q0=A ' # & ) 5 & # (# # & . !: F={ } & ' ( 1 - ! . ! . ( ! ( ( ( B. + , & 2. # # 4. 5 , ! ' # ! ! '* # #$ # #(#) ' ' & #(#) #$ ! ( # )& ! # # # , # &0# '* ,! 2 !: -!" # !: 8 , # =(Q, ,q0,',F). &0# '* ,!: '*(q, )=q '*(q,w )='('*(q,w), ) q: , w : & & .#(# ( &# $ .#(# # '*: & q & .#(# w 5 # #' ) & # # 5#$ ' . .#(# w
  4. 4. B. + , & 1. # # 4. 5 , ! ' # ! ! '* -!" # ' ) : # # # ! )(- ! L={w | w % # 00} & # (# #: & ' ( 0 0 0,11 - ! . ! . ( ! #(#) & # '*( ,100): # & #'# 100 ( )# # . & ' ( 1 . ( ! ( ( ( Γ =Β =Α =Α =Α =Α =Α =Α )0,( )0),0,(( )0),0),1,((( )0),0),1),,(*((( )0),0),1,(*(( )0),10,(*( )100,(* δ δδ δδδ εδδδδ δδδ δδ δ . #'#(#)& 1. 1. « %&0 » -$!" # - # ) , &0 ! .#(# ! ! )(- !: %&0 011}wwL |}*1,0{{ ∈= . #'#(#)& 1. 2. « % » -%!" # - # ) , &0 ! .#(# ! ! )(- !: % # 011}wwL |}*1,0{{ ∈= . #'#(#)& 1. 3. « ( - » -)!" # - # ) , &0 ! .#(# ! ! )(- !: ( - 011}wwL |}*1,0{{ ∈=
  5. 5. . #'#(#)& 1. 4. « #!» -*!" # - # ) , &0 ! .#(# ! ! )(- !: % #! 2}wwL |}*1,0{{ ∈= - # ) , &0 ! .#(# ! ! )(- !: % #! # ( % # 2}wwL |}*1,0{{ ∈= - # ) , &0 ! .#(# ! ! )(- !: % #! # #($ 2}wwL |}*1,0{{ ∈= . #'#(#)& 1. 5. « » « » -+!" # - # ) , &0 ! .#(# ! ! )(- !: % # ( #! 1}wwL |}*1,0{{ ∈= - # ) , &0 ! .#(# ! ! )(- !: % ( #! 1}wwL |}*1,0{{ ∈= . #'#(#)& 1. 6. «' % » & ' ( ( , ) -,!" # - # ) , &0 ! .#(# ! ! )(- !: ' % # 11}wwL |}*1,0{{ ∈= - # ) , &0 ! .#(# ! ! )(- !: ' %&0 11}wwL |}*1,0{{ ∈= . #'#(#)& 1. 7. & (# ! ! !" # - # ) , &0 ! .#(# ! ! )(- !: % 0 # ( % # #}wwL |}*1,0{{ ∈=
  6. 6. . #'#(#)& 1. 7. & (# ! ! -!" # - # ) , &0 ! .#(# ! ! )(- !: % 0 1}wwL |}*1,0{{ ∈= . ! 5 #) 1 . . . ) ! )(- !: L1={w∈{0,1}*| w ' % # 1100} !" # L2={w∈{0,1}*| w ' %&0 0011} L3={w∈{a,b}*| w ' ( - 0101} . ! 5 #) 2 - . . ) ! )(- ! # )# ! # ! 5 !: L1=0*1* !" # L2=(1+01)*

×