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

B. + , &
1. # #
1. #! # )& !
'!" # $ !%
' ) 1: # # # ! )(- ! L=1(01+011)* & #
(# #:
(
1
0 1
)
0 1
) ' ) :
) , &0 .#(# 101011 ( % # # # #' ) &
( .
# & .#(# 101001 (' % # # # #' ) &
( ).
* +
1
)
1
B. + , &
1. # #
2. #'#(#)& !
,!" # $ !%
' ) 2: L={w|w % .#(# 01}
* - (
0 1
0,1 0,1
! # & )& % # 2 .
#'#(#)& 1: #% , ! .#(# ! ) 2# «4 (, !» ' '#% ! . !
- ) ! )(- !:
L1={w|w % .#(# 01 .#(# 11}
L2={w|w %&0 00, % # 10 ( - 11}
B. + , &
1. # #
2. #'#(#)& !
.!" # $ !%
' ) 3: L=(01+110)*
(
+
0 1
)
1 1
0
#'#(#)& 2: Kleene ' # ) & $ (# # ! $ .#( # & .
- ) ! )(- !:
L3=(1+01+001)* L4=(001+110+01)*
0
B. + , &
1. # #
2. #'#(#)& !
/!" # $ !%
' ) 4: L=(01+11)*(10+00)*
+
!
0
1
)
1
(
1
1
0
0
0
0
#'#(#)& 3: & (# ! ! # & - # - ( & %, &!
' . . (# )
- ) ! )(- !:
L5=(1+10+110)*(011)* L6=(0000+1111)*(0+11)*(10+0)*

B. + , &
1. # #
2. #'#(#)& !
1!" # $ !%
' ) 5: L=(0+1)*00+11(0+1)*
0 0
0,1
1 1
0,1
#'#(#)& 4: & (# ! ! # , # + , 2 $)# - ! %
0# 4 %, .
- ) ! )(- !:
L7=(10+01)*+(00+11)*+11(0+1)*00(0+1)*00
B. + , &
1. # #
2. #'#(#)& !
2!" # $ !%
' ) 6: L=(11(0+1)*)*
1 1
0,1
#'#(#)& 5: %# , 0# - ,
# (#! - & ! ( ! % . % )& ( .
- ) ! )(- !:
L8=((10+01)*+(00+11)*)* L9 =(((0+01)*+(1+10)*)*+(00+1)*)*
B. + , &
1. # #
3. ! # ! (- ! (4 )
22!" # $ !%
! # ! (- !:
& )(- ( ) #
5 % # 2 ( . .) # ) 2 .
5 % # # ( . . .) #
) , &0 ! .#(# ! !.
5 % # # ( . . ) #
3 ) ' &4# & )(- & # &:
'- # . . # ) ! ./ ! ! )(- !
'- # . . . # ) , &0 ! .#(# ! !
)(- !
'- # . . . # ) , &0 ! .#(# ! !
)(- !.
3 , ' , # # ! ! . ., . . . . . & #'$ !
( # &' '# ( , #' $# & )(- & # )
5 % # # ( . . ) #
) , &0 ! .#(# ! !.
B. + , &
2. #& #&
1. ! ( !) ! (%, &! - !)
2!" # $ !%
!:
6 # # ( ) & & 5- '
M=(Q, ,q0,',F)
7 # :
Q & # $ #(# , ,Q & # $ #(# , ,
& # (2 . # , . (, '#
& %
& . ! ( .%. '(q1, )=S # S &
# $ #(# , , )
& # $ #(# , ( - ,
5 $ : 2Q & # ' # $ #(# # Q.
Qq ∈0
Q
Q 2: →Σ×δ
QF ⊆
QS ⊆

B. + , &
2. #& #&
1. ! ( !) ! (%, &! - !)
2!" # $ !%
' ) : # # # ! )(- ! L=(0+1)*00 & #
(# #:
* - (
0 0
0,1
) 2 ' : M=(Q, ,q0, ', F) # :
Q={ ,*, }
={0,1}
q0=A
' # & ) 2 & # (# # & . !:
F={ }
* - (
2
! 3! +4 3!4
+ 3(4 ∅
( ∅ ∅
B. + , &
2. #& #&
2. : 2 , ! ' # ! ! '*
# #$ # #(#) ' ' &
#(#) #$ ! ( # )& ! # # # , # &0#
'* ,! 4 !:
2&!" # $ !%
!:
6 , # # =(Q, ,q0,',F). &0#
'* ,!'* ,!
'*(q, )=q
'*(q,w )='('*(q,w), )=Up∈'*(q,w)'(p, )
q: ,
w : & & .#(# ( &# $ .#(# #
( ' # $ #(# , , # ) & # # . &
# # ' # %# ! ' . ' # w ' . # .
B. + , &
2. #& #&
2. : 2 , ! ' # ! ! '*
2'!" # $ !%
' ) : # # # ! )(- ! L={w | w % # 00} & #
(# #:
* - (
0 0
0,1
2
! 3! +4 3!4
+ 3(4 ∅
#(#) & # '*( ,1010):
# & #'# 1010 ( )# { ,*}.
},{
)0},({
)0),1},,({(
)0),1),0},({((
)0),1),0),1},({(((
)0),1),0),1),,(*((((
)0),1),0),1,(*(((
)0),1),10,(*((
)0),101,(*(
)1010,(*
ΒΑ
=Α
=ΒΑ
=Α
=Α
=Α
=Α
=Α
=Α
=Α
δ
δδ
δδδ
δδδδ
εδδδδδ
δδδδ
δδδ
δδ
δ
* - ( + 3(4 ∅
( ∅ ∅
B. + , &
2. #& #&
3. ! ( !) ! ( - !)
2,!" # $ !%
!:
6 # # ( ) ! & & 5- '
7 # :
Q & # $ #(# , ,
),,,,( 0 FqQ δΣ=Μ
Q & # $ #(# , ,
& # (2 . # , . (, '#
& %
& . ! ( .%. '(q1, )=S # S
& # $ #(# , , )
& # $ #(# , ( - ,
' 2# % (%, &! - !) & # &0 .
& , )
Qq ∈0
( ) Q
Q 2}{: →Σ× εδ
QF ⊆
QS ⊆

B. + , &
2. #& #&
3. ! ( !) ! ( - !)
2.!" # $ !%
' ) : # # # ! )(- ! L=(01)*(10)* & #
(# #:
+
0 1 1 0
) 2 ' : M=(Q, ,q0, ', F) # :
Q={ ,*, , }
={0,1}
q0=A
' # & ) 2 & # (# # & . !:
F={ , }
2
! 3+4 ∅ 3(4
+ ∅ 3!4 ∅
( ∅ 3 4 ∅
3(4 ∅ ∅
! (
B. + , &
2. #& #&
4. ( - !): 2 , ! ' # ! ! .
# #$ # #(#) ' ' &
#(#) #$ ! ( # )& ! # # # , # &0#
, 4 !:
2/!" # $ !%
!:
6 , # # =(Q, ,q0,',F) - !.
&0# ,!
),(* wqδ
),(* wqδ
),(* wqδ&0# ,!
q: ,
w : & & .#(# ( &# $ .#(# #
( ' # $ #(# , , # ) & # # . &
# # ' # %# ! ' . ' # w ' . # .
• , %# # & (q) #
2 # $ #(# , , # & # . ! %, &! ' .
. (# .
),(* wqδ
)(),(*
qq εεδ =
))),,(((),( **
σδδεσδ wqwq =
B. + , &
2. #& #&
4. ( - !): 2 , ! ' # ! !
21!" # $ !%
' ) : # # #(#) & # '*( ,01):
# ! )(- !
L=(01)*(10)*
& # (# #:
))1)),0),,(ˆ(ˆ((ˆ(
))1)),0),,(ˆ(ˆ((ˆ(
))1),0,(ˆ(ˆ(
)01,(ˆ
*
*
*
*
=Α
=Α
=Α
=Α
εδδεδε
εδδεδε
δδε
δ
+
),(* wqδ
# & #'# # 01 ( )# { , }.
},{
})({
))1},({ˆ(
))1}),({(ˆ(
))1)),0},,({ˆ((ˆ(
))1)),0),((ˆ((ˆ(
))1)),0),,(ˆ(ˆ((ˆ(
ΓΑ
=Α
=Β
=Β
=ΓΑ
=Α
=Α
ε
δε
εδε
δεδε
εδεδε
εδδεδε
!
0 1
(
1 0
2
! 3+4 ∅ 3(4
+ ∅ 3!4 ∅
( ∅ 3 4 ∅
3(4 ∅ ∅
. !
! 1
&' # (# # #:
!" # $ !%
+
0 1 0
) 8 ( .#(# '# 11001.
# # & #'#;
! (

. !
2 #) 1
&' )(- # (2 . # {0,1}: L={w|w 4 00, % # 11
( - 01}
1. - # 6 2 # ) ! .#(# ! ! L
2. - # ) , &0 ! .#(# ! ! L
2!" # $ !%
3. - # ) , &0 ! .#(# ! ! L
4. - ) # ( , ! L.
. !
2 #) 2
- # ) , &0# ! )(- ! # )# ! # !
2 !:
1. 0*1*01
!" # $ !%
2. 10*1*
3. (00+11)*+1
4. (1+00)*+0+11