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

1. 30
3:
3.2:
! "#$ !
! " # $
!" #
% &
" ' $ $ (
) * +#,
- ! ) %
+ #
.
. # ! # #!
%# # #! & :
& '#
# #&
#'#(#)& !
& '# *
!" #
& '# *
! ! #$ # # # ( )
& '#
(-)
B. + , &
1. # #
1. # )& ' &)
$!" #
!:
# # ML ! )(- ! L & & % # & #'# &
.#(#
• « » .
*x∈Σ
Lx∈• « » .
• / # ... ) , &0 ' ! ! .#(# ! # #
L
• « » 1 .
• / # ... # & ! .#(# ! # ' # L
Lx∉

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. 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. 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. . #'#(#)&
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. . #'#(#)&
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)*