Scribd
Upload
25 views

Dfa) , ,, , (F q Q M Σ = Q: δ Q Q → Σ ×:: q Q State Q) (Q F⊆) ) (, ,), 1, 0 , ,, ( (q q q q q M =) 1, (q q =) 0, (q q = δ) 0, (q q =

The document describes deterministic finite automata (DFAs) and provides examples of DFAs for various languages. It defines the formal components of a DFA (states, transitions, start state, accepting states) and shows how to represent DFAs graphically. Examples of DFAs shown include those recognizing specific strings and languages involving regular expressions. The document also discusses converting nondeterministic finite automata (NFAs) to equivalent DFAs.

Uploaded by

harrisel
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
25 views

Dfa) , ,, , (F q Q M Σ = Q: δ Q Q → Σ ×:: q Q State Q) (Q F⊆) ) (, ,), 1, 0 , ,, ( (q q q q q M =) 1, (q q =) 0, (q q = δ) 0, (q q =

The document describes deterministic finite automata (DFAs) and provides examples of DFAs for various languages. It defines the formal components of a DFA (states, transitions, start state, accepting states) and shows how to represent DFAs graphically. Examples of DFAs shown include those recognizing specific strings and languages involving regular expressions. The document also discusses converting nondeterministic finite automata (NFAs) to equivalent DFAs.

Uploaded by

harrisel
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 5

Dfa

M = (Q, , , q 0 , F )

State$

:Q Q

0.
0.

12 ,

! "#

/
( F Q)

4&)

q2

q1

q0
0

0. 3

Dfa

(q 0 ,0) = q 0 (q 0 ,1) = q1

&'

State

M = {( q0 , q1 , q 2 ),{0,1}, , q 0 ,{q1 }}
0

! "# : Q
( ) * + :
Q , -! : q 0
:F
, ! "#

(q1 ,0) = q 0 (q1 ,1) = q 2


(q 2 ,0) = q 2 (q 2 ,1) = q1

, ( :2 3
=

12

<

5 / 7/
C 89 DFA =

B " ! "# 7
C 89 G DFA =

0.2

56

State

.
0111,0101,0001,01 ,

7.2
'
5.2 89 !
& '> ,
5. < , ; ,
?@A
EF 0
D6 DFA
C 89 DFA
0 89

q1

q0

a,b

DFA

a*b4&)

q2

3H
0

K 3H

:!

DFA

0 8L

3 6

# 2 J9 7J' (
DFA

12

>2 DFA
K

DFA

2
&I .) 3H

"2

. 9 DFA
0 89

b
a

q2

q1

DFA

4; F

a,b

a,b

q0

q3

b * ab * (ab) * b * 4&)

3H

l = {a n : n 0, n 4}

>2 4

q0

q1

q2

q3

q4

q5

4 DFA

0 C
03

NFA

State

+ M

O
K N.

"2 P )
Q :D( P )
0. .2

DFA

" ,
"2 ;

4%NFA$
:
F

DFA

DFA

?@A

NFA

: Q ( ) 2 Q

03

+ B P < J9
0 State
State
'

'2 . A M

. 3 & .2
NFA
?@A R
! "#
2 Q , -!
32 7
2 Q , -! NFA +
K NR
O P ) 5. > State
.2
+
. ' O .2
7. 3 1 .2
+ B P < 7 @ S 2 1 ! "# & 2 Q A R
3 .2 K N T 7 Q :D( P ) . A
4

0 8L

"

N
0

.I 3
3H

; DFA
5. . ( NFA

7 89
3 NFA
0. 3

NFA

3H
NFA

a ( a | b) * b

,
,
4

a,b

q0

q1

q2

4 '2 . A
;

q0

q1

P)

5.2 89

q0

q1

5.2 89

q0

q0

q1
4 DFA

'"
73
3
2 9 S2

NFA

M
P<

.
# ,. .K
73 DFA

73

H2
()
. .K

VW>
K N
73
7 2 9

K N 7Q :D( P ) " ,
5 U /
5 # 1
()
73
.2 K N
K N
O 7Q :D( P ) '
'"
State
NFA
6 0.
'" , State &
03 6
H2

NFA

0. & .:

1
0,1

q0

0,1

q1

! NFA

DFA

NDFA

q2

q0
0

q1

{q0 , q1 }
0

{q0 , q1 , q2 }

4&)

1,0

{q1,q2}

0,1

q2
0

0,1

0. @

& .: JL

DFA
NDFA

q0
a

a
{q0 , q1 }

b
b

4X K

q1

a,b

q0

q1

,
. 4&)

a *b *

(
,.
3

3H

U 2

.2

5.

) 7M ) P <
) ( 73
&"! C <
Y 03 , 9 M ) P <
" ) ,
0
:\
3H

&F 7
3 [ O9
U 3H
L

| y | 1, | x. y | m

5.

Y 7 @ 2 H2

xy i z

:Y

: 2G & Z 3(
" #$ %&
0.
, H2 .2 "2
3H
3H U L
3
Y3 N
( 3 @2 6
12 000 (
P<
"2
U 7
3H U

' !( ') ! %* + , - ./ /+! " #$ %& /0#

.
XW2 m .2
:< .!
m, @
6 S O( < 3
XW2
< .
3 @] x, y, z "@I
7 @) .! 0 i < 5 5 W( i ,
0

3H

| a m b m | m

x = a m 1 , y = a, z = b m

5 W( .! M )
R
L 5 W( ,
R
W2
M )
R
3
Y 32 6
R
0
3H U
U l = {a n b n | n > 0}
.
Y 0; F
3 w = a m b m m > 0 ^ C 4&)
_`@ =
w = xyz
C 6 H2
;)

i =2
i > 0, xy i z = a m 1 a i b m

a m 1 a 2 b m = a m +1b m l

3H

| a m b m +1 | m

x = a m 1 , y = a, z = b m +1

Y ;F
3 w = a m b m+1 m > 0 ^ C 4&)
C 6 H2
;)
_`@ =
w = xyz

l = {w * | na ( w) < nb ( w)}

i =2
i > 0, xy i z = a m 1 a i b m +1

a m 1 a 2 b m +1 = a m +1b m +1 l

2
p
aaaaaa
x y z

10

| x. y.z |= p

.
"2 .!

3H U L={ana
X & )
; .!

; .! n } .
Y
, .! ; .! 4 '2
pm
^C

| x. y p +1 .z |=| x. y.z | + | y p |= p + p | y |= P(1 + y )

@ 2 ; .! J9 5. .!

#2

4 C
;

0. 3
q0
b

{q1 , q2 }

DFA-1

"

q0

q2

4X K

{q0 , q1 , q2 }

q1

{q0 , q1 }

0 @ 2 3H
| a m b m +1c m + 2 | m
x = a m 1 , y = a, z = b m +1c m + 2

.
YR
3 w = a m b m+1c m+ 2 m > 0 ^ C 4&)
w = xyz
3 _`@ =
C 6 H2
;)
w = {a n b m c k | n < m < k}

i =3
i > 0, xy i z = a m 1 a i b m +1c m + 2

a m 1 a 3 b m +1c m + 2 = a m + 2 b m +1c m + 2 l

@ 2 3H
| a m b m +1c 2 m +1 | m
x = a m 1 , y = a, z = b m +1c 2 m +1

Y RR
3 w = a m b m+1c 2 m+1 m > 0 ^ C 4&)
3 _`@ =
w = xyz
C 6 H2
;)
w = {a n b m c k | n + m = k}

i =2
i > 0, xy i z = a m 1 a i b m +1c 2 m +1

a m 1 a 2 b m +1c 2 m +1 = a m +1b m +1c m + 2 l

0 89

R
0

1
1

q1

q0
0

0 +1* (10 * 01* ) *

. & .:

q0

b,c

a,c
a,b,c

{q0 , q1 , q2 }

q0

{ q1 , q 2 }

11

NFA

DFA

b b
b

q1

X K

X K

q1
c

q2

You might also like