TOe- THEORY of coMPUTATION
UNIT-1 Automota theory
BAsses:
$:{a,by
the st
Alhatat"
a, bstring eng aueh sa, by
ab, aab; babb
tmgt2.
aa, ab,bo, bby(ntte dangung
on24a,by stanting witab.
ba, bb, babb...y (Sngfsaûte danguge)
'2 faa,bb, ba,bb y
Kleene lame
SUvu...
{eyuqo,byuaa,
st s au
ab,ba, bbyU.
peeiaie ating all Jength ovu
2-a,by.
Ptive clme st(not incuea)
o,by vkao,abjba,bbyU..
, Mealy Automata
fimite NACHINES
FINITE
STATE
The macli ne outptwith
fowat
ony8s(OPF,
F: {Pusn 2:oFf,
ONY Q:
ti'mite
Dntion
ofF Mene
Muchine
n)»TNP
(Tuyte Pusi) Autemata
Pusl
oN, of AutomatFinite
a
(on, S t ON
frite
Puta DEA
ofFyL
Pust)LE (Thanitiw-
stete
tutomata:
autton
aututFinite
wttuout ataAuto
TRANSITTON
NFA
wia
NFA
en
Liqaa, DETERMI
eesentatien
Ineam:
Tuple t
NoTB:
6:
ba, onition
ab, NISTIe
STATE
bby
tolble) (
tanili ENPUT
marigi
PINTE
Push
gs99¬a9
TRANSITI
ONTASLE
TRANSITLON
R0LES
AUTO TRAN
M SI
ATA TI0N
&-DIAeAM
9xE’
sate)
)
, ) S(ao, a babh)
Tuple ueeaetatisn: ababa)
HUe, M9, e,5,4.,fy ’(babb)
s(a,abb)
baba)
’ 8(ve, aba)
i(F, bb)
8: dyivem by tuHen taole.
ACCEPTED|
REJECTED
fully traueued Fulydsed
TuihÇu telole :
ith b.
us, L b, bb, ba, boaa, babb.... p
Acentuce of stings dy DEA.
’ stout tem intisd atate, dting myt be telally dQUeJCel
uple wensntotiem:
M,2, S, vo, y
6(a,xa) ’s(6(a,x),a)
s(4,ax) ’ S(s (a,a),)
Tuithieu tuble:
STA NDUT
UNIT-1 Automota theory
BAsses:
$:{a,by
the st
Alhatat"
a, bstring eng aueh sa, by
ab, aab; babb
tmgt2.
aa, ab,bo, bby(ntte dangung
on24a,by stanting witab.
ba, bb, babb...y (Sngfsaûte danguge)
'2 faa,bb, ba,bb y
Kleene lame
SUvu...
{eyuqo,byuaa,
st s au
ab,ba, bbyU.
peeiaie ating all Jength ovu
2-a,by.
Ptive clme st(not incuea)
o,by vkao,abjba,bbyU..
, Mealy Automata
fimite NACHINES
FINITE
STATE
The macli ne outptwith
fowat
ony8s(OPF,
F: {Pusn 2:oFf,
ONY Q:
ti'mite
Dntion
ofF Mene
Muchine
n)»TNP
(Tuyte Pusi) Autemata
Pusl
oN, of AutomatFinite
a
(on, S t ON
frite
Puta DEA
ofFyL
Pust)LE (Thanitiw-
stete
tutomata:
autton
aututFinite
wttuout ataAuto
TRANSITTON
NFA
wia
NFA
en
Liqaa, DETERMI
eesentatien
Ineam:
Tuple t
NoTB:
6:
ba, onition
ab, NISTIe
STATE
bby
tolble) (
tanili ENPUT
marigi
PINTE
Push
gs99¬a9
TRANSITI
ONTASLE
TRANSITLON
R0LES
AUTO TRAN
M SI
ATA TI0N
&-DIAeAM
9xE’
sate)
)
, ) S(ao, a babh)
Tuple ueeaetatisn: ababa)
HUe, M9, e,5,4.,fy ’(babb)
s(a,abb)
baba)
’ 8(ve, aba)
i(F, bb)
8: dyivem by tuHen taole.
ACCEPTED|
REJECTED
fully traueued Fulydsed
TuihÇu telole :
ith b.
us, L b, bb, ba, boaa, babb.... p
Acentuce of stings dy DEA.
’ stout tem intisd atate, dting myt be telally dQUeJCel
uple wensntotiem:
M,2, S, vo, y
6(a,xa) ’s(6(a,x),a)
s(4,ax) ’ S(s (a,a),)
Tuithieu tuble:
STA NDUT