lOMoARcPSD|56646422

Theory of automata - Unit-1 Handwritten notes

Theory Of Automata & Formal Languages (Dr. A.P.J. Abdul Kalam Technical University)

Scan to open on Studocu

Studocu is not sponsored or endorsed by any college or university

Downloaded by SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

TAFL J h
heory Autom ata and Forma
Lanquae
d=
TAFL Automato theory e
ubject which
doibes the behovioux uto masic maehi nea

mathemati caly
Appicakions
igital circuit design
- .
CompileX dAsign

Sot olsigni n the uoduced mathematical modd

Circut dasign L pesi ble matthe matical
mo oll exitl.

Lang Means co mmuwcation

Puogtam Sequuna o instoucti ons

Striig. SequUnce o &ymbol&
Centeh ce/instruction: An orduud tornbinatio n oy
word 09 8 t r i n g t h a t makas Comlto Sense

why do we tudy thwory?

heory rovidts concabt Ond prin uplas +hot
help s undu tand t e genal matwu o disütune
Albhabet Se+[ E): S t a to naiL+ing o mbola or

han a ttL

E:E 0, =(0+ )
IwI =6
Length &tring IwI): w a bbede,
Null L4ring (e ot :
he &tring olunggth0.
LO =0 0
t E u Ltrin whwuas Let)
Downloaded by SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

CoCatenation 01O

Cocat enation o Strinq do&s not

uppoTt
but supbpot aukouati ve propttymutntiv,
com t
ropetty

Kleen CLOAWLOE):u posmble tring)

Uni veual lan9 ua ge ov alphabat £

Positive CLoswLL CEt

NOTE: o) E ,ol,o101, 010

101,
Co)' So1,olo1,01010I,

onqth-0
(610)'o1O anh -3
COIO) o100 0 nth G

*Sumbo * OM +) with E u U i v sal&

ven
lwl= m

nd ntnng h u

Ro voLLe
On
a2,
w an ,Cn-I
XY
twR txy)RDownloaded
yEx*by SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

PalindHome 10 1
wuR even
R o dd O

Suwbstng
Anu ARqane Con&e tudive bymbol4 o m w (any strino)

doq
Sublo $e,d,0, do, 0g, dog
But dg n o t o pat o sub-&tring. It will be a
OL H S.

Non nult Sub- 4t+ing'.

Set o Aub&tring o ny &+rinq ex capt nul ahring
i.e.
Sublw) - $¬1 d,o,9 do, 0g ,dog
PHo Subatring
S all po slbie Aub&tinqa xupt string
ts
Sub lo - {w}
e,d,o,g do, ogt
Non-muL PHo ubstrinnL
9ubw -E, w
d,0, do, ogt
NUmb o Subting
Symbols aL distint

ab 3I 2

abc 6+1 ung4h otring

Downloaded by SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

Symbo Ls as Lami

aa 2+1

PHax nd SulxX
Pxnoong tTin no ng but sit mjuaa*
o
Symbe 2 om t o uight R iven
ting
sux Cuo ) E,d,
-

do,doq Y +1)
ta+1)
Sax to):{E.g.cg dogJno.su pHx
eco ase pHLe ntin both
Pouou Lting

0. t .

Opadions on lonauaq
L o,10,11
La 1 , 101, 1 10ot
LUL 0 , 10, I1, 11, 1o}

L Y- L
(o+) -L Se, 1, 0,o0,.
J R ,uEL
L 1 ,10 1, OIu}
Downloaded by SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

L LL2 W,o/ o,eLi &0,e}

1LL2 |L1ILl
Finite Auwtonata

Architectute Automata
p Team Tape

One w ay uoad head

Control

|- urt

Finite Automota CFA) is a 9 incS)tuple machine2

O E,6, 9o , F)
wheHe 0 Finite set s t a
ehaa e-tot
2Finite set ot
ToQsiti0 n untion
9Single Iritioi Stati

FFinite set of Final State

FO
yb

a,b

F 92
Ve}>2 !a (mon - d u t e i nisti
n i t Cutomata)
XE
Downloaded by SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

Sa b S:(90
S:Cb
St9.a)-q
S t9b->9
S:a)-q
S:C9b)-q
Di ne b/w ma and da
No Choites ddL olowed. Choigae aloweo
E -tronithon not allow edu)E tronsiton U allowede
) Dead coniqwlOtien is ) Dead tonig wiation iz
mot uo e . alo wed

h e Maxiu m Minimum longuoge 0v 2.

Maxinu m lavnguage = E' :

{0,Y =(0,1)> (o +1)*

Mini m u m aduag (Mox L

transition un tion
* caoinq
asc o
SCS(S(10,0),1),
1),1)
(qo o I) =
S(
Pracig ana or
o r h ee ou
O Luu
to m
t o au
m at
taa

fruA a int o. So. 1 ohi

1} h ich
Ex 1: Cons alhabet+£
=

dve 1.
I.
ang uage o e x oty
exg ty
lngth
ltngth
Cnnstbing

So,

0 , 13 =(o +)
L

Downloaded by SITANSHU SAXENA ([email protected])

 lOMoARcPSD|56646422

o,
,
X
0, 0,
> dja)
x Valid ma chin
n vau d ma chne

L
O,

Final &tati anamot hen oX inal 4tade asv not

Hea thable om nitt al &trt1.

CX Construct a n t CutoMaka or
Lab et
evHy
E»$0,f in o k i eveHY
Onquag2 ove aulp mbol 0.
ust
statt uom 9
&trn
S0,
O11, f
o1, 000, 00I, 010,
L o, 0 0,
Wo,

, dummy &tate

L 0 (o+1)*
E,0, , o 0.
o
0,00,0l,

20* Se,0, O0,000, O000,

O' So,00, 00 0,

0*
O*o =C*
is qo u a t e Cookinm
you
m
onguoce
ofhe A t h a t base Ehen
T h e base is
oH UniveLol ongua2 Ang 4tring
Cn
dn om
Co uning
b
qven

Ot ot O.0 0*0
3 o , 0 ,o0o,,
0tnt: o,00,O00 . .
Downloaded by SITANSHU SAXENA ([email protected])
7, 0 0 +
 lOMoARcPSD|56646422

0 o e , o,o0, o o0,... }RE,0, 00, O0, ..

e ,0, o0, 0 00,.

COD -o)n-, Ot
to0t)»?

L So
Lo0
0 ,o0}
L S0,

LD+1 0,1
e,o,
o,

L o+11
NFA lwithout E traunstion) t o DA Convs1On
,b b

0,b

93
2
b
b

Downloaded by SITANSHU SAXENA ([email protected])

 lOMoARcPSD|56646422

a,b
a

a,
Comv * v2n NFA inko DFA
etato O

State|

Sq

1 O

O,
O

Dummy o t7aP_state
*Vumm Stata uwi tl aluw ays be i n dAa..DumMy
.Dumm wil aluo a g be e x a ctly o e tate in
State
be mon- initia&non ina
State
ill
yany machino
DUmnu state
Dum tate ShouAd mot have onu outgoing
e eoe n Symbo
p e tby SITANSHU
Downloaded 0.
SAXENA ([email protected])
 lOMoARcPSD|56646422

Dummu statr ust have o ne too or alh. imou

Symbole Aor owch machino as oluneo.
Convt ltowing NFA machi n Äto Rquu valont 0FA
Qa,b
D

Lo,

a,b

a,b
a

1 b b

b
b b
(( 1
a

2,
to.1

O
Q
Downloaded by SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

a b b

uith e -tranuition +o ca
c p n v e si on

we want t» ulace E move. so

Suose
VeTtex V, to V thon br0 Ceskd as olo0-
veex V,.
ind all h e edges &tting om
se dgsAtaeing 0sLo m y
DuAu cato ot

changing
tho.edgas levl
w ith out then m a k e U alko
o n iak &tat
in n a l t o t e , maea y
a nitial. 3 V
OLSHeinal & t t e .

wih¬-tranaition to
COn vent t i given ma
a w i h out E t n sitlon.
O

Downloaded by SITANSHU SAXENA ([email protected])

 lOMoARcPSD|56646422

ace pting 4tring

Aang u 0 q e
h e

ia,b}
Stina
aor
with ab
ve Yp habe£A

DHa
bao,. ... 2
abb,a
a, b aba,

Sa b,
a b l a + b )

b
9
b
a,b e2t
O v alphab e
Ov
t
org uage the m
m usst
t
a da
for h a t v o y strin
brauo ad S u c h
Drauo
tring.
So,1 a substo
subs
as
oo
kave
0,y
Soo, o oo,
100 , dhl,
(0 06(0+1)*
0,1

o,

Downloaded by SITANSHU SAXENA ([email protected])

 lOMoARcPSD|56646422

S -ctoswe q ) = q « , 9 q 1 1

Cw&ww lq) {q22Y 1 2

Clo w Cq)
cO& tq)- *q9 c
(q»3)
-
cLoswre (q, p
- clo &wu
t9,)
-closuwetq) = q2

b-clo&wl (qo,
qu,q2) Clo&wotq o) U
6-cloRue Cq)u
0- choLue Cq2)

o,1, 2

Find uivaloals nt da h e qven ma

Clo&uAO A
, B,
SA, B,c9
- closwe oA
o B A,B,

- clo e of
Downloaded by SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

B,cY
=¥A,

- c l o & u e
(A

c} A , 6, c?
9A,6,c
CY|$a, 8,
gSA,
B,

0,1
0+)

Cnv e ven amau in olquu ve on

aL mauk n.
O,

-clos w A A 6,e}
eloswe A SA,B,C
-closune B {cy

-Clog WL
closwe
e clo&we A = A, B, C

8,cy A, B, t
6,
QB,C c .

o,
o,

Downloaded by SITANSHU SAXENA ([email protected])

 lOMoARcPSD|56646422

nalizaion
T

Pot ovi na mthod

9My hill hog1esdt na1oole mlthod

Puntitioni ng Method
DI&tmguushable 2 Indistingishable &tate
Orm0 than to O st&tIS in dh machi stote
ne
nosti
ng uuhable i or the s0 ma in
pwj
uoe ao
0
qutti output t i nal or all nonnol
tuoia gta a distinq tshable
aL d i s t i nquts halbleo inlput co

6 C90,w) F =
MF
Cq w) F NE

But t h y e dtt ng us hable or

Doe wi get
soms
input,
C o w) N1F
91w) = F NE

K-2quivalon be

Two or HA than tuoo ltatu will k equivale n -

a n d ony u t o t h e tonath K or
an d m l s t bindis tinqui.
Statu
oB&ible &trih9
ghable & it d denoted by 7tk
quivalat
a mn. stakt a t o MATa
0 . o n s t r u ct table s oleined
olined
transition
who Le
to dta
dta b
Stat
by-

Downloaded by SITANSHU SAXENA ([email protected])

 lOMoARcPSD|56646422

4-9

ble or
deod ta or ac ca4 ible stat
stat
cha
ULa ny Stat us n0t
Ctomate,
.

inite tati Hun i t .

In any JLOm Åtatig
taachab t a a chable /de ad /inaccLAible s+
nown as
tate

na{4-3. 9 ,q , 493 93,19s. 9,13

mse
he v en
.Mn 0,

C E F
A B
E
A D
F
E
DownloadedFby SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

no A,B,f, e,D,t}
1, {A,B}, F , c, D, E13
2 A, B'}, {F4, 1C,b,E

A,b) c,b
F F
C,D,E E F

Thuorem
Mo Hill Nanod
on by
nimisti
i
do all
pous
pous etati
8t ats q
pP2
brauoa
table dor PEFA0¢F
pouisohee hat
Hae
al
uad pain P,o kuh
Ony unman eed hen
hun
I the 5( 0, «)
s uloacy may
abraady
&L'P, , CP,0)
als0. Can he
Con be

na k pai Unit
Mo m i ng
esA
Rebea this Pro
hom as
Madi. make
alun mauk paul
Coubine
9ingle state Mo
Ma Hill
usina
usin Hil
mile the given oya by
Mini
Nauoo Theo Hom

Downloaded by SITANSHU SAXENA ([email protected])

 lOMoARcPSD|56646422

A D EF
A

C
D

EF Vv
ce,E), (D,E)
A,B CC,D)
C,D, E)
Q
o sing
poutionu nq &
pautioni ng
cQNinise he gven dla by
mthdd.
Ma Hill Nawoole
b

I
b}, IEl=2, 191 =
FI 1 , 101 8,
É ={a,
b

a b 5

X
Downloaded by SITANSHU SAXENA ([email protected])
 lOMoARcPSD|56646422

mot a COAdhable state LOm u t i a &tato

1

5, 9T, Sqs}
,
o,6t, q, , 1*, sq 1%
b

q91
a

Qb b

pautio ni ng 4
he 9ven 4a by
.Uu is metuol.
Ma H i l Nasuode

b a

Downloaded by SITANSHU SAXENA ([email protected])