TI-\ E Of\ y D~

COM PU1Flll ON

~SS\ 6 \~ l~ [NT

AM f'1 th \k Q . b

B E --- (~ E ( A) 17

~ l 0~1-~ to 4 OD l
 I I I I
'' 'J··'· '~ ; • I ,( \
"" "., I\ I" I ,,
I ' ' J,
,. I

I I I If •H ' r ' \J f " I'\( r ,( ,, II" "', I I '/ r ~, t

'
; I t
I

n, ,. , , '-J ,,,., \ r~ 1 •, 6 ,,, , , I •• I 1, , • t > f ~H , ~ r,

•'I f 1 ,·) • 11 I 1, l ( t

b'j <. onca h'na ti) 0 O'( L

'- .J-l , r.c lud es the

e mp1J .sh·i~ e.
n- L r.::: ,?a 3 / -i hen L :t< 1:=c yE , q , qa , oo a s
( kleen e r iu s )

> L-+ denot- e.s +he se \:- t:,f c:111 ..s1'-r1°:J~ -+ha.t- c.an b e farme oj
by loncc ui na '\-tn3 bne O"f h'°'D"'f e s-t<,rt: Js i'<O'm t.. •

-> :It does(' )Df tnd ude s em~ 8rr\ j £ ·

> I.;; x ·. JS L =- f ct. 3 , . -th ~ L + == { Ot , eta , a a a ~ . . . '5

e '><f'YE'S S 1o n c.o ntoi ninJ

e hd s co 1th ' ) '

 l'\I I / \ ( n 11 ') ~ (r, u 1

00-+ 11 (o+I)
~
@

r:.

E
 ,, 1-_~~ '11 't:)
' I ft) I

J) I
11
()
I

~~ ~
 t ' I I (~ I c.;

I \ I I I' ,

kttn,os t de'Y\va tioh

9➔ c n

'T ➔ T ,_s 3 ➔ (T )

r -;:. ( T) ,_s

'T...;;:, ( T) 1
35

T ➔ ~s,s

1 -> T , 5
T .-.> r , s
T ➔ (T) , q

T-> (r) , a. ' (T) , a

T -> S , 0. 1 t T) ' q

S ➔ l"T)
g ➔(, )

~e-:4l+- '.

\((o/ct) r /\(a)"\ /q) p_c:sutt :

(t(OqCA. ') I
A (a,'))
; ,Tl. 1lt C

(, '
'

(l '

-1 , s 5
I
I I
s
')
I °'
~ OI...

°' / L ::: -?C°' I b ) n / n ~ I 3

M =~Q 1 ~ 1 I ,, S 1 °l-o I
ZO)

q,o :c _]ni t-ra \ S -lo..l e

. ,,J --~ e o/J'Y') k, O/ .

1-, ~ l_n I i'-t c:,J .:?"'l (.,L,l
 ~ ( <\ r', i, \ ) • ,\ ( 1\ I I { )

• ~ ( rt, I , <I 7 0 )
\ 7 t- )

' ~ (t\t') , C)

s (._, ') I ( / 1r, ) -

'i> (q,?.) , C )

~ ~ ( q, , , ab , Zo)

PDA -= ( -l"V o , q,,1 , Cl,2.. 11 ~ 3 , ~0 ,6 3 , ~ct 12 0) ~9-o tb ,7e

~9 :, ~-
(b I J_ = { a :1n b n / n 2 I 3 l -ra.ce ?bA -\'o,
Step 1 ••

L et.ctaa.aa: bb b
--
!::.

---- -
- - - - - ----
glep 1 :

£(4 o ra , '2' o ) :::,. S ( q,, 0 1 c,-r o ?

s cq, ' e ' 1 Zc, ') :::- ~ Coi-3 ' e'

\-- S (C\, 0 1
aa.aa.aabbb , Z o ')

t- 6 (_ C\, 0 ,. Q aa a a bb b , d Zo ) •

r ~ Cq,b I a.aa bbh / aaa Lb )

~ g (_ q,., 0 1
d.Cl bb b , (;Lctaa Zo )

r gC ~ o I
a bbb , a.a.aaazo)

L {" (_c1 G-bb , c:x_qa_ct.UZb)

' 0 ~VI f

l-- i t 9,, 1 1 bb , ~a.a..azb)

\..- 2, c_ ct, , 1 eb , a.ao. z6 )

i--~ Cey ,, b I ao.-zo)

r ~ (q,,, l ' e' D. Zo ')

r s C'v :l I e I -Zo )

1- s l 't2, , e)
 ~, <I
~ I
7 fl (J

I ff •r- r1 rr, 1 I
r
,, (' It

.S ince

b) 'Y' 2 I

c) 'J._ y~ 7- '2;- L i o~ .a l I It._ z o

.:since I '.l'.'Y l t_ I':) ,, the , ~bs+rirqj JC y h,u

l on.5 is t B<>tr~cl~ Of- 0 's

Pu. rnrecl l@ngth -r_ Y )_ Z "'" b P-

,
rn om Orn 1
2

. of I'
r~:
6 u.t ~D"' 1h1's s--1"4 i "'J 10 t:e In L / H,e n o
bf' t-U.J IC..e +'n e ho . o+ b ts . --
 l •

; I . 't
( . '"

lr, ( c , -I l I I If I r, ,r,

\ 'I' 7 C l

L ~ r--A a, e ~ ula, lar-iCJuo4 e lh er; ~o , <,

t\. i

"'-lc r I
h s ume

a..ccepl: M _

a cce pt M .

S ie p 2 · Cemp /emen t- of M :

0
'Re~ u_ ta v lon ~ uQj ~ £ -Q¥ e c..t os e d c.t.nd e'Y t.o m p\e h,Pn b'bn

0
f:o-r DFA DM , fu(' Lo m plerrenr \ angu.age. M t.an bt:>

Cllc.e pted by DFA ~M co n s t-r u_d cd .

-----
--
1
\C( t. 11 (' rt)
I f /I ctq r> tv1 but r h C'I r riJ r
r

0
1
Re:Jll lay a n 3 ua3 e ct ,e Ca ll ed ur,dey l'rdns.ec l-io,
0~

Ca h Conah-u c i- .Dl'A fc:,y l /\ M wll'n3 ~ L

Co t,shu u+ori of D2.. ~ 1) M

Q = ~2- X (vl'v\

o Alfhqbet-- - L

~YTaansiHbh furic.non -s L (p ,. ci,) , a) ~cb2-CP1QJ , ~hi[q,/.:,)

O .Tr, it,'.cd 'S tctte - F~ ~ ( P, 9, l / f' Cc f" L &, 9,, ('. Q,.,,-t.,,)
'
o Tuts br:-A accQpt--s o s+~1·t1.3 V'-1 iF i-\- \ead s a_

l p ,q,, 1 where .

o p~ l=L , SO ' We L

o mu s , 'D F f\ a c.~pt-s· LAN'\ == L - M

Co r\St'H~c.t ~
---1 h,a.c,,t_,n1
. -e. t~r., ' CA. t)F-A / ·L-M
' t\ en t_~ t ?YD v E:cl .
---
 t - '> f -+ E I E ~1<- E I ,'q
1

l fv\ V R NlJ

L -> t. !Y (

-> E * ,'d
➔ ~ + E ~ jq
_., fd + id +E -> E + ,'d -;t id

~) ,'d + ,·d ,y td

E e
°"'
};:I -\-l l:: /1"
t ~ E
,d
f
E::
/ ,"'-
~ t / \
E + i=.
\ I
. ,d ·,di_ \ I
)cl ~

1 !::° -> l=_ + E:. \ c -1< E I( 5") I Cif

Ltvtv 1<.MP

F -> ~ -if--- I.::

➔ ~* ( E')
 ~ ') ex.. ~ ( f )t l: -;, E ,., ( E ) if °'
-':> 0..4 ct ;t' ( t') - "> l? + a;t" a
-> / f2')f-q -;.t:O.

- > Cl -l Cl ~· °'

t.
t: I "'e
/ "\ t *
f 4 t I "- (\ E)
I i ~ t +E
l 'c >
\
E '>;I( t \
lt 1 l f")
\
'
0\.

°'- lt 1
\
'
(-t J \
Ol CJ\.
\
l I
0... ~

. am 'o ,~ L1 D u.J.,
.· . ~ \J. ·

l\0 ) Re~LLla.Y eKp'll f:?ssi or, -fen D FA

1.
I
 L)

1\ '*

· •::- t> ) -1 lO I )1( ( 11') ~ ') ~

'

II) Con.s 10 u ct NFf\ 1°' (01 + 10,~ 10".f(

)
 0

U1 ) L Qt G = ( N, T, P, S ) 1
P ~ == ~ S-> f ,t\ \ B l c;i; A~ OAlt

Ltv\P

~ ~> A 18
- > OP...\ 8
➔ A10\B
 -> o o I B
~ OD .\ t) t3

--> 0 t ) l lJ \ f~
-"->OO l'b l . ',
t)<·1 I > If J I

• \ ex.-,,o '

ci" 5'h I (\ j ~ ~h f'! t-

f!f;) b ' s ov e < G ~" J, ~

S➔ a.Sb

~ a_a..sbb

➔ a_a_asbbb
no• of
Cl..
I ' Tu ~ \:S

y) Jc:; the

[s a rn 6 ,' <;j LLot.U> bee a t..t.J> e th e

Yes , ;+ \c, e_ ck~\ II e.d in rf"I u.l r: \"' k u.y;ry.s

3 arn e tzMP

-Lt'Vl I?
 ~
I t
(
I
"
.,
l'
I
I \
\'4' l -\
"' ~
[;
't jr\

'
-I
l
'c\ '~ I
;d ·,d

l F ')
~
...,.-...L , r.'\ , t;. t \ t Q I c1 0 I Lo I

_,-, "' q '1 -.\-':) pe u- o V

'"6'e_a.d.s inpu..t
The
+h e__ s ta. d<
be__tween s +-cu-e.s

wh,c:.h <1\low<s it- \-0

I (lG ') U>M7Y Lt c.t NFA

I
I

b
r , 1 t 1 , , 'I , n ,J l I j
l 'I i

,,
,
t I I ' I ' !

J ' "''' t • ' ' ft' ~ #

,, , , iii ' f
1' I I , I• f t ,. ' r
l' \
•f f.
t)" \I ( I ,, "' I
L'

.,~~u"
. 41 •11
' f ,J ,t\ t \ , )
,f..,,' ,.,LJ (
(;;
it tJ ,

tl''r.,r t ' H "\ • ) f' d ,v , , ,. I in t C,

'[
.
'X \.:ft- lLlh (" " "

l, \ y l
-~'
~ • lxy 1~r
.
3 · -\t- I ? o ,xy f\.
'' f<::- L

A CFC::> 1'6 a_ f o'l"rnal j\:::,rnrna "r

ct wn+e ~t- fr-ee

C::., ==- ( •f/ 1 I I p , $ J

 H '
I 9 ) l , , t rt1 , , , r I f (.

~ ~'> a~o 1 ,s I I o I ,1 c

all \.:n9+h
a.. 1 AI AI\ b, '4- \ e
0\. , 7 It\ -Z..
E:_ I '"Z )-z_
b, f) IC