Toc Full Notes
Toc Full Notes
3 0 0 3
PRE-REQUISITES
Consent of the Instructor
ASSESSMEN T: THEORY
COURSE OUTCOMES
COi: Understand different types of grammars and develop grammars to produce specific solutions.
CO2: Develop designs for different machine types: finite automata, pushdown automata and Turing machines.
C03: Understand partial recursive functions and its relationship to programs
C04: Identify the approaches to building a compiler.
COS: Understand approaches to proving a program
FIN ITE STATE MACHIN ES
Deterministic finite state machine, Non-deterministic finite state machine, Pumping lemma for Regular grammar.
Applications ofFinite State Machines.
(8)
PUSH DOWN AUTOMATA
Deterministic push down automata. Recognizing context free grammars. Non deterministic push down automata and
,· Ambiguous context free grammars. Applications of Push down Automata.
N · • 00
URIN G MACIDN ES AN D COMPUTABILITY .
wing Machines, recognizing Context sensitive grammars. Types oft Turing machines, Halting problem. Effective
rocedure for algorithm and computability. Applications ofTuring Machine.
(9)
UN CTION S
>
Basic functions and strategy set, Partial and Primitive recursive functions, Computability. McCarthy's formalism, Programs
and Recursive functions.
(6)
PRODUCTION S
Production system, Acceptors and Generators, Markov algorithms.
(8)
GAAMMA~ - --- r
Ru\es, formalization, Ambiguity, t edured Form} Derivation on Rule Tree, Chomsky hierarchy, Derivation graphs, Grammars
and Compiler Design, Programming languages and Compilers, Sentential forms and Derivation trees, Parsing algorithms
Stochastic grammars.
(8)
COMPUTATION
Approaches for checking correctness, Partial total correctness, Proof methods. Floyd Hoare Manna Inductive assertion.
Functional methods.
(8)
TOTAL }(OURS: 45
TEXTBOOKS
I.John E Hopcroft, Jeffrey D Ullman ,"Introduction to Automata theory languages and computation", Addision
Wesley 2006.
2· Michael Sipser "Introduction to the theory of computation" PWS Publishing, 2006.
+ u u
A uktmallrrL - cl() s1 ..9c.doJbi & .b..L /A:)<9Ytol
11
\J, Auk~ma.l:iJrn, - d..R.11-()-f::u, a.-uh0ma.llc fYt.S-e,f.Mu
JL~oc:>t,{d tU aul:-~mo.._ta.
f\._~~,ifPL
. -
~~j~ditN "d- c>4-u_t-~ 7/v_
f~ gemu_ &~
cllJU~' pcvJ!icll:)oJlon. &<6- fi),1.f:v2 •
I,
l_
l , I \ I ' \ r
7, - - ~ AIAt O/YlO.,[(f'(L, ---->
) O,
.Ti - - - ~
--...,..• d~
tt,
• • ) - I ' L.
fvtoatA 61; ~ -
a.utt>rn.afu-n.
\ I I
\ro.l,u_u 'l11fui:
l) . ·, ~ v i •J,/:tr •J& L hfb.%' M,ch_J\°v l ,
i1 ,
J
4- J:t,Afi, - r&e-. N.Xb ,<,to):,_ "o CUL .l
(Lt,Lb{9-/vLo.,brin, 1(:tp I _.,l,u.);OJJ; 1,
);-i~ Jj bu., p!LVvW l,t~
ari.d f AR..,~ R--n):; __i'f UL
\ ,, . \ , - a»..hlbm.durv
. ?'Yl..W~_. \1
d..tpuvJJ.
1
1
~
J
,l9:,Zf:Ao~
l
a,_ -.~'~
-,
\ 'J
·· 7;1" t,\
l
) t
e> a,uJ;r;m'd.J;en
d~, t
•\ \ • J \ ")
w~k-, .b' ~~li (l.Jt;
I · ,
M
., ) . ' J ,-
~nv~ wtt1v cfftuA- ~ -
J:h' ou!.(~·--'··~·
, -i ...,
/..J/LUJJI.. - h o ~ ~ui:omo.l:o..,
rtWti. O M._a_c.Ai/Vl •
u,
0 /)~ ,w. / :' , )-£i,ii};j
6 [;"!le CJ ~mo.la,
,.,d [,D, Pfl) :
).
\ u ae,Li ,U_,) . I I
0 ; .Q . '>( ,£ ~ . ·. .'
d!r ,g,._ £!FA , =Ii,,,, , a__ p,i;,n,t e h,pux e t, =~
fu M,()_C)J_,1v. &,, trM cg ta.ft .
In J)pA
f9Jl eAv
0
hu.J).
d2
{ ~) jM.we 1J ~I:
t)9i al10wed .
i . e_1 J) FA c_an n l9 l- c ha__n. r- 0 f;a.h, tv Ethe ut
vt.n .l"-f ~& c hM adiA, .
~x etrv1.pk :
~ .
c,f},tt_ .
Q ?Cfro 1 4, I 1- Q_ 3
s:_ :: f 0, ,}
9-o = { 'lro r
F = 1't~J.
M=sili <rYL
._ Ctfn ..l:
0, I
0 f
"'\
I
...
flt(UU t l:im'v -t,o).rt, --,
p~ ~Ml &.k o.1:£, t-J.ext- g bccti- Ne..xf- ~l::ttl:i_
-f(YY .Trf llC 0 c9t...pu.J; J.
4, q,
;)rq,-Q.. l\r.2- 1eit
. 'r
1 oi A"?1I
!#1_
\: .\
A~r/j/
Q
e 4o c.iro '1,
\ .
41 i.2- q,,,
lo ci~ - q,8 ~,
I 00 t-3 l}o . °v,
0
/OIDf ~f_tL-J.
f;-nal irf,_,.,t, ;:, ,qz_, ltlliU-. a_C-C.Lf'U 11 "Ir,
1\1-wJv V- tL- .f,'iuJ ,gG.Jz, Me, c, •,1:
M : { &,£ 1
5, ,F ) .
1.,0 -Jn1W
F - *(tcJ -
0 - JtJ,tri,cu
1, - d~ u{c.ttv (A.,
tL,
b tX' a.. o..l
q;cp c;lbCl.- a..b b
&. io i J
o._bo.P-, ~ l
--
~9-
()._,· 'it, tJ/t(>
q,,J °Vtp
ab '1t;..
'T9icuu.~ ,
7
(}) J),.< 't' "" "I) hi1!:A, 1c , r
D, , 3 t>..ULfk /:bru,
,d,,,l-, A.ta.,,,a tvil:Dv I and end,, r.fttt.,_, D .
@ IS)&ur l\_ ~A
s~ 11'u.t tor.
'I ' . . '
r I '• 1
. \ .-,, . i .' . \ '
\ \ .
,.
kJ Ltti, ouftf u):: voJv._q_ fu\d iJA O u)ru..t- dLpR._ fl~ O'YL,
tt-o - d:;-aJi- .
i - 1Afu.h oJ-,Ji-~
0- 0 ukf tJJ-
tf)-J,. ()._,
».,,., dJ.,rech..ol ed.fF .ZrcoUc....a.k h...,_, b v ~
ei
a_
Ery;uf-
,g,bo.Ji., J:tu., 7 OVJ.. ~ o l t-vlt:A
tuftitA 1,, JJ(>J.Ue,ji.cl fa( tt» cJ,rch, . S{rp 0<,w) ,,1 S(f{_70 a ) , J.J
~]
&;o.,0:,(;'\
f_ a,r. euae 2J p A :
i • I)
:i [ l 'tll) 1 010
:? sci')_ ,-It10,)
; ;, d t 'h , t ,)
= 5' (qi, ,~)
cc J ( CJ; 01 A)
t~
Co-NJCU(, f
J:J:__,_, 2bo.JJ., M.,O._e,,Ju,,u,
:c ' ~ D ,
1~ 5 i rW]_{\ :;,
ill taM aA J..19-tl(TIJ.% . Hen t_Q,, /
T..,,-a,v, (tYl.., V
L~ iJ...
q,~
1o
l} ,
}J,
9,
, l o,3, b ,C/)
// 2.-
~fe, :
o rrt Nt.. /hvl» 0 't-0
.9i..t M_ft.1-11.dJ,.t '1, I j)F'A V't/f~ =If'-, F~a.n1p-lu -'·
.£ u.bsbcL O_ha. 6 .
q,O ;: q,,D 1v1 :: r~ I ~ , S, Cf-o , r3
Jc 'flt_w, )tiJh_r,{_ 0-p p.9..~ YIM will tu,t
qO Jru.Jipj_
'r'hAl
- /2 /:;cJ:i,
<1t-cib .-1 .
IJctMW-,tuin 'TM - 1 1 - MJ..,~"c} C$r,x~ b
"' q
,dl- ~,
C-e-/__u_ 111 IV
i o,J,b,13 {i, It, 'i] {.:i,r,i] bi Iv m.uk ~,Q - C,et,J.,--ai,'n,i,o !, a_,
0
tj,o 1-o i, '11--
.,1,,t° "'-CJ 1ln.p u):;,
a,,u p,e a _,-,_t
~q,,2, - ~/Jv i,U c ()V1.,ttl1c,~ bo.k -
~~:u.ia ·
1
1. 40 4o
1-,
b i, 4£. ~ q,,
ba, 4o 43
h,.,b 114j '1rs 4-s
0
I J
b
11Jl_l)_ I k,~ U /;;lu). {iJ M fi,, 1., -'
V'l)j_,~ : b cth - ~( Uf (I_J
4-bkh - ~e_cftJ.
8 tmu..
Q-N1
M.BV u.
rru
j
1uJ-
°1} bu., ,u,a._citi,tJ.. ~ I : : h
iuu:/J~ 6d
gtJ;, ,
I tJv_,
Mf)._
~rtt.J: /4,~
GUU.-
{ fl , 21 6, Cj,0 t F)
l/)
0
Ji, a. f ,,_tu ~eMfty Ju- tr/ !2 ~
Lll~ 1- J,, 0- (j,.;J:,_, Mtc €. ntf 9 gd- 11 lA-f'¼
0
c{it) a(' uo /~
uu,
I-, • L•
.,(A i:Vl,U, m. ~ IL uUIL, c:,u,u
_ -"-' ·- _
n Wffi
f"' x £. Jn to JJa wK,;,J,. ;, lk 'o
f()UJV. le,£ <9p ~ - .I}..,, ,-u /:- o/; a.Jj_ / 4 ~
GfJ ~ .
. NJ>t:--lt
a}
----
~ : { a , b, J)PA
,
10
= 1a..} M;a.b- t to a. &,t'f-
/4Ca.1J-. 0--fL M /:J
M.,ULl;i,rJ,- /\.ex I:-
f cJ
/4
F = p().J..H c»,ia.J. AL,)('/; Co &oJ:i,
e...a.c,,lt.. J...A-ful:"
Q_p._c}v ,l ''-f u,,l;"
1.-y~·
N ex & Q/:il;, tJex!: .s?t..c,
f""'-f1 ;.'5.J,O kcvv.Ui.b'lV N .J> f::- A />"--"- ml.a.
2.n.pu.J.- 0 1n.pu..t-1 . AA.a. A.et ,LJJ._/\.; .UV IJ{:-A c<. l;,,ZJ
,Q tl.M l, tt, O,U •
a., h b
c.. a.., t
8 tl e,kJ;i., a WYLO & JIL N .DP: A-,
b OiJ.lo VJ e..cl I,_(\, J/) P--A- bo..c..-/Ji:, a c..Uf u
C, Mt alu.2~ ?r;..r. ~[f,,fR_ ,
C b l C,
(f,l=o...,t;::.
~f.._Q_ {)-/ o...ll po ct t.kf.L
\ ' ',! I
t:.()Jl).c.b.:r/n.J,_
•
di._~
\ , tL fw A -a.ft.
--- --
-: 1"1'00 J 0 1 000 ( ' ' ' '
I 3
too - At.upvd
J It , ,f
t7tJ
ill-,) {Of
,g,.b .;IJw..L JJ. afl ti N °ti a, ..w..r, b v_, rrt.a Uu: ,v,,