Open navigation menu
Close suggestions
Search
Search
en
Change Language
Upload
Sign in
Sign in
Download free for days
0 ratings
0% found this document useful (0 votes)
77 views
26 pages
Acd Unit-1
Uploaded by
aefaxqals
AI-enhanced title
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content,
claim it here
.
Available Formats
Download as PDF or read online on Scribd
Download
Save
Save ACD UNIT-1 For Later
Share
0%
0% found this document useful, undefined
0%
, undefined
Print
Embed
Report
0 ratings
0% found this document useful (0 votes)
77 views
26 pages
Acd Unit-1
Uploaded by
aefaxqals
AI-enhanced title
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content,
claim it here
.
Available Formats
Download as PDF or read online on Scribd
Carousel Previous
Carousel Next
Download
Save
Save ACD UNIT-1 For Later
Share
0%
0% found this document useful, undefined
0%
, undefined
Print
Embed
Report
Download
Save ACD UNIT-1 For Later
You are on page 1
/ 26
Search
Fullscreen
20 26-12 Introduction EO AUtorMata “Meory ¢ Automata Theory ov Meory oF computation oo branch OF computer science & raathemnatics which maioly deals uxth the togic of . computation uth aespect to the sieaple machines reFexed 0S Automata. Automata enables the scientists to understand how machines cornpute the functions. & solve the problems. The main motivation behind develop!ng the automata 1S to develop methods to describe & mnalysé Oe OS wehaviour OF discrete Systems coth partial participahton oF humans. Fundamental concepts oF Automata Theory : t. Syrnbol a. Alphabet 3 Sewing q@. bangvage Symbol: TE iS also catied 4S chavactey . It 1S Ehe entity. smaitest ‘burldingmmblaen. tty Pasi onect | singe €9: 4,4, b6,B Al + af , lphabet “:. Ft. ie ee Miminite gee Brean OLS eeg settee tx’ . Tl IS used to swepresent input oF ‘a macnine- eq; Z2fony , Z rtar} St1ING + Stung 18 a Finite sequence oF Syrnbel's chooeen FIOM alphabet C2) and ak 5s denoted Y Ss) sg = SbTING w-word . €g-2 z o1o1 16 ol valid eTIeg «ovet the 2 DELOEg-' : considev @ alphabet 5 =$a,64 The possible valid strings’ 9 axe ad’, BH aba, ba , Operations en Sevings : |. Empty Sering~ Tt is denoted by, & (epsilon) g it 1S @ sting wrth 0" occuTtence . Clength 0) 2 Length. Tt 16 - dernpedirige ino.0F cymbals S16 ys denoted by [S| &9: 93. puya Iso & 3 concatination ; sf 5) & 59 are twor senngs then thelv concatenation. 16 “ade ned ag fas £9: si = priya g@= Narayana I-89 = priydNaxayane § 1 49 uw StringReversal : tt means reversing the syrnbols oF a qveN - (German ity ter leno red by: 3S 92 Sai * lout fs yop Ss las . Se is aee » ier Fe ppp Language som is 07 ceteor sens over on alphowet aS gh ta site: PORE =o construct a. Longquoge eons vee alt th “sevings: oF length .«2' over the, alphoret = Fong * £00, 01,10, 0}. F9-B = constwuct a Language “containing all the stings — a ; which — ove ending with 1a’ over the = = Gone Dg UT > $a, aa,ba, aba, bba a nn Ope TAMONS onIntevsection- TF Li & Lg are two languages then ther intersection 1S deFined as 1, OLg Eg: 1, = Sav,aa, bay iss Pov .2 + bad LiOLa = fab, bay pifFerence ~ IF Li & Le are two languages tnen thelr airfrerence 318 defined gs 1i-ta £9 = 2 = fab, 0a,ba} Lg = 2 bb, abs bay L,-te = Paat Oy sah Kleene closuve| Kleene star : Xe 18 deFined “as the set OF ol! possible atl possible lengths ever an alphabet > strings oF ts! including. null string CE) & Ib 1S denoted bY ste Ch 1S & Language ). Let Xe Garb} * 2) tebiea oe FEE Kleene plus : Ar ‘ . ala a 1 os the set /oF all possible me is dermed loet cn! all possible lengths over an atpha x 5 + ond tt 16 denoted SY eat) string (8) : x 2fa,eF . + x* = fa,b} r* = $9,6, 0b) 0,00, bb, abb---¥ excluding se Tings OF nullPrtroaverion £2 emite Automato (FA) | Finite state Machine ¢ Th 18 ppstract machine ov mathematical roo det with dike. ne OF RES, HpU: sybase RDAs ee aaa ovey 07 alphabet (2). (or) minke NO.OF FA ov FS 18 A abstract mode wit FIP ‘ states: Texronology ; eats 1 State= Je is a srnau cixcle uoith state name: two states- 2 Transition- I 1s a divect edge BID any bw Ineiat stote- Tt is 0 state with on insoneing edge ewithout source - £9: 3G) ae ee ee Final state- re is a state state name. et . ‘ a ‘ ee as Berinition oF eal matrematie hh actiten oF 2g. ners Fo [tuples oF FA Het ashbi + an£9: considev the given FA. © = }8o,9) = 2 fo.ly i Go = Se F FS say Representation OF 1. By Using pias a. By sing Transition Table = Finite Auromata ¢ Trans too diagrar? z ansition Table | es Oo] 1 So tsy § S09 | @ = 240, 4,42} ‘ Ne] 2 | ; zp fairey 20|190,.94| © Io = Fo ; ; 4 ¢ $41,903 Ft. St Ya |392,93| L293 Nore; For any FA state & tnere Final states: K Rows represents states may be chonce and ehere shovid be represents mput Symbols only one intial oF moltiple columnsAiodet oF FA : Te FA mode! consisting of Intec parts, 1. Input Tape @ Read Head 3 FINNEE control Input Tape - Tt is a iimeoy tope hovéng Finite no.oF cell Each input symbol ye “paved sexactly 19 one cell: cls one by one Fro is read Read Head |ape Reader : se reads We © lePE eFE €O might. AL any time only one input sy eps) Finite ai Xe eae tne decides the next state en neceiving ti ax EIcUl es cs ax input
a ends with a 20 L = £0, 10,00 , 010,000, NO --- 5” Q' eva .j P Q = f40,41} z= fo} 6: Yo > to F=qQi ®& gubstng oS aa’. Le Yaa, pad, Gbaa, 22hlength aa : RIOR cy one a al we = gi 10 Np80 0100 J LED HOPG! WOlor pesign oF NFA pesign NFP Fox all 5 all the strings Which are Lb = FOr, O1Ol, OO, —~ on 2) +@) 0 pesign NFA Fox all the StTINgs 19 wich “ul! construct NFA Fox accepting ali the StTiNgs axd Symbol From the aight end is always ending with '0! Followed 1m which tol. soecroirae odor oP ce aoe 6 OOO] constzuct NFA For accepting ol Ee oraee stungs starting Woe eO Oe ee na foo, wu, OO" N00 ---F ap! QI S60) ia am wohiehDFA % DFA stands For Deterministic Finite Automata: 2 It cannot vse Co Gransitions 3. For any ‘stote we. can hove onty one transition For the same input Syrnbkol- YU. more DIFFICUIE' bo ConserUck: 5. Time needed For executing an input String 1s tess. 6. Deod state may be required + Back tracking “1s alowed 1). ORO: 8 DFA 1S * subset oF INFA- Q. DFA vequites move Space. 10, Herve, @XE—¥6 ot NFA 1h NEA stands For Non- Determinietic Fintke = AUEOMALG 2 Tt can vse € wansitions 3. For any state we con have multiple ERGnsitions For the Same input SyMbol- Us “Easy: to. conistsUCk+ 5. Time needed For executing Qn Iwput string %S more. G. Dead state may not wequived: So paertracking ts, Mot allowed 6. NFA IS SUP! BOP She: rh aK. 4 qe NEA, requires, less Space 9 eames ee EA? 2 eset OF DFA:bi NFA and Equivalence NFA to DFA %) pFA the given convert woul Let the required Now, consexuct evaneitiog table FOr 40.42 | meat | 90 9! = $40, 40,91)» (4090) 5 eSiouy a0 = 40 F' = [40,99] convext tne gwen NFA'S tO DFA'S ae 7 Ov L624 46) ai AS ot the given Loe ‘ a > @ DFA (NFA to DFA conversion) be + (8s z,890.F') NEA 8 ((40,41),0) $ (40,0) 0691/0) ) & (Got)od) 8(40.91) $(C9o,%),1) S§(Gonjocai)) 7 § (4009) § (C4012) 0) § (C9010) 0(42.)) 6 (Cqo.9 OP) 80,41) 5 ((40,99):") (goo (4a,')) 6(40.00) dote Let (bhe required DFA will be DFA = Ge pee TO . 5 a + 6 $45 Si 3 SCT § (80,0) 05 (Sia)U 68,9) {50,514 0 Say OY (S018) 59,2) = | fsosiSah| 50% | $.s0 51159} ie soy} Usersisa) 46) = $0 pa 2 $01by Toe e! = peose1/Set NER with % moves : ‘ 4 fae 2 Ony NFR which contains & transitions 8 moves” then that Nea 16 called NFA with e&-moves-we have tO moves: From K heidae s nied pia Final Meeriose ves esisE-closuve = — closure For a given state’ A meaning thot a set of states which can be weached From state A with only €-moves including the state weselF- Eg: Find €-closuves For given NFO Qe & . &-closuve (99) = §90,41,924 . fey & -closure (91) 2 $4ndoh Bessa gt &- closure (4g) = faa} gabe Find -6-closuves For given NFA “ye aSROF hatycyY >. t ie age NFA without £o-MOVES For the given NFA Loith out &- moves To 3 ; t convert the given NFA with go moves tO» without Eo roves we have tO ‘vight Eo closures For all che states. FIYSeY, & - closure (46) = £90191 , Va} & -closuve (41) = $41,999 & -closure £92) = 2903 ' transie: 7 é FANS IEIONS ; wy 4 26828 is ae 6'(%,.G) = &- gcloeuie (s (6- ~bl6su 6 (ae = For the state Go, For the input symbol om 8’ (90,0) = & ~ alosure (6 =(g - closure (40) :°)) Cerca ¢ & faora9e), °)) ae 442.9)> &-c1($v0bv4%) > & -c1 (V2). 71904 For state q, $'(41,0) = & - clol 6 C& ct €41),0}) - , eae) Gamat ae Se PSameeys 0) ies eae 4 o *& -clWW dod) : og . : Serey =¢ eB = sie al Sas & ce SlE- crear) 2 & ~cbC8:(41,4.2) 1) % -eW ave) nae ~ebea) ay8' (99,8) + & -cl{S(& -~c1 (4a)9)) . = &-cl( 54a.) = & -cl4a) : fay Transition Table : a sl oe ie ina ea ped ’ £41 199}) $99}, oe i be ee : * S-closoY' herve 40,91:99 are Final state. because é-c¢ OF go, &-closute 4 & §&-closuTe Ge eo ntging qe. 2. @ ate j z Gp» & -closure (G0) #2907 ss, 6 ~closuve Chi) = 29% 1Vay an & ~ closure C43) 2399} foe eu transitions ES'Caia) = & - cb S¢g-c1¢41) 19) & ~cbl S(4)192) 0) = & -ch( de) sla 2 & -~ch( d) 2 2 ios S'C411b) > & ~ cl (8-C1091),b)) 2 & ~cWlSC(a92)14)) of 0 = & -CS(~09a)) ro? $99.0) =Regular Expression | Regulax Lanquoge = “he Langueges accepted by the Fimte automata are called — regulary ranguage: s the Expressions vohich are occepted Requiow Expression wy tegulay language are called Requlay Expression. bk consides , 0 wequid Language (+). & E> 1S a eegulor expression tor 18 a Tequiat Expression: then + Every letter belongs 2 % a. IF Ri and Ra ane two aegulay express10ns Rie BOo, Rivka 10h Conese eee where, + mdicates union 2 indicates CeMcatimation ._ %& indicates closuxe. A> construction oF Regular Expressions = ex0e's” _ Followed by eonstwuction RE to denote any No.of z. . any ae x s i Followed by any no.oF one’s no-oF two's.constvuct Q RE which accepts any no.oF a's & b's ans? (a+b) ending with Oo. “Ons: is eo Co +t) O° Relationship betwee Regular Expression & Fimite Auto mata conberoce poe? ae aes See ere Ee & istics”: o O~S 5 Ss atb ee ? ie conside® & é i sie a 2 CONCaENAEION case ; 6 F G a. ae & @230--B (0? (y (ay, yD 3. closute case ? abneide™s. am & am a. CONSETUCE Nea's For Fo Nacwoing, RE ba & va* x \ 2 b Ce eC rg @- OO) =H) | ey wi TT £ fr : megs ©. ead Wa] 30O1ti098Identity Rules = nh P+R=R 2 da: ro>%Bee rollocol gaa 2 Derive sequidy Expression FOX | ~ - Ae ) 28" we have to write Formulas For eVeTY StOte IN the given DEA qo = UW O4G 7) gene Gp = 410 +4g0 493) 7s es consider (1), Por Om ¢ ; VOL eae a praenis. RUT alameda a Re RP+@ = @p* 5 % = EO * 40.70 RES consider 9), g, = Go! +91! =O") eq! BO a™ Bes . ey 49 74,0 #490449) = = O* IF 0+ 4904 FI Se Okie, Derive Regular Expressio0 Fobtain Regular Expres sion For gwen FA 43 - (b+ aa)+q3a = (b+aa) ae gen? ee Chorasky Hlevarchy : K naan yed bY Nom ing H 2 YY Norn Chorasky .Acco™ sky xchy (1s Siscove nor L choms revave a ° TyPes- tnigpeene graramar is divided into G TH to tnis> Typed GrarnMa* Bee ce penl Gra 3. Type-9 Graramat ui Tape=s eo ania Type-0 Grammar tun mestuicted Graromay) 7 ; ; ; re was Te melvdes. all the, crowd a@ranomars + 7 GS erecdghiced,. ou: Tasiom gis aly mute F io va che productions ore ia the’ For) oF a—>B. where, ip = (vur)™ V = Non Terminals Ccapital leteers) Tae r oor ncn Cette (etters) <9 4 . oo" bAB a. &8= > 8B Tupe-1 a@arnmay : Te 1S Qlso cauled aS . context sensitive Grammar & it was recognised by Lineay Bounded ALtornata.Heve, all the productions which are in the Form oF a lel 4 1p) f= 1. WA eaeA 2 Ba = bA Tupe-2& GyYornmay : f it Was Te 16 also called as context Frec Grammar & 33m ee recognised by push Down Automata. tne production Form oF g—>p x > where, ; v to A—s& a. Abe ee Tupe-3 @rarnmay ; — Te «S$ most aestvicted GrammMot & tt Was ‘ < Spear oath by Fimte Avtomeata.s Tere are ‘TWO TYPES he Pe fh Ves VT (LEFE Lineax Groraracx) & VS TV (Right pineax Grammar) Fer bass dveag Language = Aveemation”
You might also like
Automata: The Methods and The Madness
PDF
No ratings yet
Automata: The Methods and The Madness
84 pages
Unit-1 - 2 - 3 Notes
PDF
No ratings yet
Unit-1 - 2 - 3 Notes
46 pages
Tafl Unit 1
PDF
No ratings yet
Tafl Unit 1
64 pages
TOC Notes
PDF
No ratings yet
TOC Notes
18 pages
Act CH 1
PDF
No ratings yet
Act CH 1
23 pages
Regular Languages and Finite State Automata
PDF
No ratings yet
Regular Languages and Finite State Automata
15 pages
TOC Notes by Ajay Sir
PDF
No ratings yet
TOC Notes by Ajay Sir
48 pages
TCS QB Solution
PDF
No ratings yet
TCS QB Solution
33 pages
Finite Automata: Anab Batool Kazmi
PDF
No ratings yet
Finite Automata: Anab Batool Kazmi
54 pages
Unit 1.1
PDF
No ratings yet
Unit 1.1
64 pages
TOC Notes by Ajay Sir (1) Compressed
PDF
No ratings yet
TOC Notes by Ajay Sir (1) Compressed
48 pages
TOC Unit 1 Notes
PDF
No ratings yet
TOC Unit 1 Notes
35 pages
Theory of Computation
PDF
No ratings yet
Theory of Computation
45 pages
Unit 1: Finite State Machines
PDF
No ratings yet
Unit 1: Finite State Machines
52 pages
Aattoc
PDF
No ratings yet
Aattoc
14 pages
TAFL Unit-1
PDF
No ratings yet
TAFL Unit-1
34 pages
Chapter One Introduction To Automata
PDF
No ratings yet
Chapter One Introduction To Automata
28 pages
mcs212 Block2 Unit2&3
PDF
No ratings yet
mcs212 Block2 Unit2&3
12 pages
TAFL UNIT-1 COMPLETE NOTES Engineering Express
PDF
No ratings yet
TAFL UNIT-1 COMPLETE NOTES Engineering Express
36 pages
Automata Learning
PDF
No ratings yet
Automata Learning
445 pages
Chapter Two
PDF
No ratings yet
Chapter Two
28 pages
Pdfcoffee Padhma Reddy Text Book
PDF
No ratings yet
Pdfcoffee Padhma Reddy Text Book
131 pages
Automata 3 Slide
PDF
No ratings yet
Automata 3 Slide
30 pages
Chap2 Finiteautomatastud
PDF
No ratings yet
Chap2 Finiteautomatastud
45 pages
AUTOMATA
PDF
No ratings yet
AUTOMATA
120 pages
Automata
PDF
No ratings yet
Automata
47 pages
VTU 21CS51 ATC Module 1 Automata Part
PDF
No ratings yet
VTU 21CS51 ATC Module 1 Automata Part
35 pages
Flat Unit 1
PDF
No ratings yet
Flat Unit 1
36 pages
Finite Automata and Formal Language (19CS3501) : Department of Computer Science
PDF
No ratings yet
Finite Automata and Formal Language (19CS3501) : Department of Computer Science
37 pages
Automata An Complexity Theory - Ch01
PDF
No ratings yet
Automata An Complexity Theory - Ch01
28 pages
3-Lexical Analysis Part2
PDF
No ratings yet
3-Lexical Analysis Part2
39 pages
Unit 1
PDF
No ratings yet
Unit 1
68 pages
Unit1 TAFL
PDF
No ratings yet
Unit1 TAFL
104 pages
Automata & Complexity Theory Cosc3025: Chapter One
PDF
100% (1)
Automata & Complexity Theory Cosc3025: Chapter One
27 pages
This Chapter "Theory of Computation" Is Taken From Our
PDF
No ratings yet
This Chapter "Theory of Computation" Is Taken From Our
51 pages
Jan-June 2025 Btcs 4 Sem v10 Btcs404 Btcs404 Unit1 Notes
PDF
No ratings yet
Jan-June 2025 Btcs 4 Sem v10 Btcs404 Btcs404 Unit1 Notes
18 pages
Unit - 1
PDF
No ratings yet
Unit - 1
36 pages
CH 1
PDF
No ratings yet
CH 1
27 pages
Ace - Toc PDF
PDF
No ratings yet
Ace - Toc PDF
56 pages
Automata - Chap2+finiteautomata
PDF
No ratings yet
Automata - Chap2+finiteautomata
47 pages
Automata
PDF
No ratings yet
Automata
62 pages
CC 7 Unit 4
PDF
No ratings yet
CC 7 Unit 4
15 pages
ACD 1st Unit Notes
PDF
No ratings yet
ACD 1st Unit Notes
54 pages
Unit 1 TCS
PDF
No ratings yet
Unit 1 TCS
40 pages
Automata What Is It?: Lar - Expressions - HTM
PDF
No ratings yet
Automata What Is It?: Lar - Expressions - HTM
21 pages
Solution Module 1&2
PDF
No ratings yet
Solution Module 1&2
17 pages
Unit I
PDF
No ratings yet
Unit I
30 pages
Unit 2 TOC - CSE - 1595997221
PDF
No ratings yet
Unit 2 TOC - CSE - 1595997221
18 pages
Unit 1
PDF
No ratings yet
Unit 1
36 pages
Finite State Automata: Kashiram Pokharel Hcoe
PDF
No ratings yet
Finite State Automata: Kashiram Pokharel Hcoe
61 pages
TOC Lec2
PDF
No ratings yet
TOC Lec2
48 pages
Theory of Computation: Course Note Prepared by Tyng-Ruey Chuang Week 8, Spring 2010
PDF
No ratings yet
Theory of Computation: Course Note Prepared by Tyng-Ruey Chuang Week 8, Spring 2010
11 pages
Main
PDF
No ratings yet
Main
330 pages
22CSE55C - Module 1 - TOC Terms
PDF
No ratings yet
22CSE55C - Module 1 - TOC Terms
7 pages
3 - Lecture 07
PDF
No ratings yet
3 - Lecture 07
70 pages
ACD Unit 1
PDF
No ratings yet
ACD Unit 1
20 pages
CBB 1201 Flat PPT All 5 Units
PDF
No ratings yet
CBB 1201 Flat PPT All 5 Units
304 pages
Unit-1 Part-1
PDF
No ratings yet
Unit-1 Part-1
17 pages
Chapter 2 Finite Automata PDF
PDF
No ratings yet
Chapter 2 Finite Automata PDF
146 pages