ESSLLI 2007 COURSE READER. ESSLLI is the Annual Summer School of FoLLI, The Association for Logic, Language and Information
|
|
- Jessica Hensley
- 5 years ago
- Views:
Transcription
1 ESSLLI h Europen Summer School in Logic, Lnguge nd Inormion Augus 6-17, 2007 hp:// Triniy College Dulin Irelnd COURSE READER ESSLLI is he Annul Summer School o FoLLI, The Associion or Logic, Lnguge nd Inormion hp://
2
3 Ouline Auom nd Logic on Trees 1 Inroducion Wim Mrens 1 Sijn Vnsummeren 2 2 Rnked Tree Auom 1 Universiy o Dormund, Germny 2 Hssel Universiy, Belgium 3 Properies nd Algorihms Ouline Wh m I doing here? 1 Inroducion 2 Rnked Tree Auom You know somehing ou inie uom on srings You wn o know more ou inie uom on rees 3 Properies nd Algorihms D on he we is in ree-srucured XML <muppe creor="henson"> <nme> Kermi </nme> <niml> Frog </niml> </muppe> creor Henson muppe nme Kermi niml Frog They re he sis or XML schem lnguges nd vlidion Form oundion or XML query lnguges Aid in sic veriicion
4 A sis or XML schem lnguges Consrin: Every muppe node mus hve creor nd nme, nd my hve n opionl niml. Exmples: muppe muppe A sis or XML schem lnguges Consrin: Every muppe node mus hve creor nd nme, nd my hve n opionl niml. Mny schem lnguges: DTD, XML Schem, Relx NG,... creor nme niml creor nme All nurlly modeled nd execued y ree uom Henson Kermi Frog Henson Miss Piggy As oundion or XML query lnguges Query: Rerieve ll muppe nmes. Exmples: As oundion or XML query lnguges Query: Rerieve ll muppe nmes. creor muppe nme niml muppe creor nme Lnguges sed on Tree Auom: Mondic dlog, Query uom Henson Kermi Frog Henson Miss Piggy In summry... Tree uom provide he underlying guiding principles or d on he We Aid in Sic Veriicion. Given: Progrm P, inpu schem I, oupu schem O. Quesion: Is P() O, or every I? Like he relionl clculus (i.e., irs-order logic) nd he relionl lger provide he underlying principles or relionl d. Sic Type-checking: XDuce, CDuce, XQuery, XLST,...
5 Who re you guys nywy? Course Overview Dy 1: Bsics on Rnked Tree Auom Dy 2: Algorihms on Rnked Tree Auom Dy 3: Connecion wih Mondic Second-Order Logic Dy 4: Bsics nd Algorihms on Unrnked Tree Auom Dy 5: XML-reled pplicions Wim Mrens Sijn Vnsummeren Ouline Wrmup: Auom on Srings srings wih n even numer o s 1 Inroducion 2 Rnked Tree Auom sr q 0 q 1 3 Properies nd Algorihms Trnsiion Rules q 0 q1 q 0 q0 ec... From Srings o Trees: Binry Trees From Srings o Trees: Binry Trees inry rees wih n even numer o s even even odd even odd even even # # # # # # # # How do we pu his ino rnsiion rules? inry rees wih n even numer o s even even odd even odd even even # # # # # # # # Trnsiion rules (even,odd) even (le -rnsiion) (even,even) odd (righ -rnsiion) ec...
6 Rnked Trees Rnked Alphe Wh re rnked rees? A rnked lphe symol is ormlizion o uncion cll A rnked symol is symol ogeher wih n ineger rnk() A uncion cll (,) is rnked ree rnk() ell us he numer o children is llowed o hve A uncion cll (g(,,c),h(i)) is rnked ree g h c i Noion (k) : symol wih rnk() = k Rnked Alphe: Exmple Rnked Tree Auom Exmple Alphe: { (2), (2),c (3),# (0) } Allowed Tree: # # # # c # # # # # # A rnked ree uomon A consiss o Alphe(A): inie se o lphe symols Ses(A): inie se o ses where Rules(A): inie se o rnsiion rules Finl(A): inie se o inl ses Rules(A) re o he orm (q 1,...,q k ) (k) q (I k = 0, we wrie ε (0) q) Rnked Tree Auom Terminology How do hey work? Exmple rue ε ε (,) (, )... (, ) lse rue lse rue rue lse rue I roo is leled y q Finl(A): ACCEPT Terminology Lnguge(A): se o rees cceped y A Regulr ree lnguge: Se o rees S such h S = Lnguge(A) or some rnked ree uomon A
7 Exmple Deerminisic Rnked Tree Auomon Tree uomon A over { (2), (2),c (3),# (0) } or rees wih even numer o s Alphe(A): {,,c,#} Ses(A): {even,odd} Finl(A): {even} Rules(A): (even,even) odd (even,even) even (even,even,even) c even (even,odd) even (even,odd) odd (even,even,odd) c odd (odd,even) even (odd,even) odd (even,odd,even) c odd (odd,odd) odd (odd,odd) even (even,odd,odd) c even ε # even... Deerminisic: No wo rules o he orm or dieren ses q nd q (q 1,...,q k ) (k) q (q 1,...,q k ) (k) q Deerminisic Rnked Tree Auomon: Exmple Ouline Exmple (even,even) odd (even,even) even (even,even,even) c even (even,odd) even (even,odd) odd (even,even,odd) c odd (odd,even) even (odd,even) odd (even,odd,even) c odd (odd,odd) odd (odd,odd) even (even,odd,odd) c even ε # even... 1 Inroducion 2 Rnked Tree Auom 3 Properies nd Algorihms Some immedie nurl quesions Generl quesions: Are non-deerminisic nd deerminisic rnked ree uom equivlen? Are regulr ree lnguges closed under Boolen operions? Does i mer wheher we red rees op-down or oom-up? Do we hve pumping lemm? Cn ree uom e minimized? Complexiy quesions: Wh is he complexiy o deciding wheher... uomon A cceps ree? uomon A cceps ree ll? uomon A cceps ll rees o uomon B? se o uom ccep common ree? Cn Rnked Tree Auom e Deerminized? Tke his non-deerminisic Tree Auomon: Exmple Auomon wih Finl(A) = q nd rules ε c q q q q q q q (q,q) q
8 Cn Rnked Tree Auom e Deerminized? Rnked Auom cn e Deerminized Exmple Auomon wih Finl(A) = q nd rules ε c q q q q q q q (q,q) q Deerminizion Ses(A de ) = {{q},{q,q },{q,q,q }} nd rules ε c {q} {q} {q,q } {q,q } {q,q,q } {q,q,q } {q,q,q } (S 1,S 2 ) {q} or ll S 1,S 2 Ses(A) Theorem From ech non-deerminisic ree uomon, n equivlen deerminisic ree uomon cn e consruced in exponenil ime Corollry Non-deerminisic nd deerminisic ree uom recognize he sme lnguges Rnked Auom cn e Deerminized Theorem Rnked Auom cn e deerminized in exponenil ime Is his opiml? n ( + ). ( + ) ( + ). ( + ) # Nurl Quesions Generl quesions: Are non-deerminisic nd deerminisic rnked ree uom equivlen? Yes. Are regulr ree lnguges closed under Boolen operions? Does i mer wheher we red rees op-down or oom-up? Do we hve pumping lemm? Cn ree uom e minimized? Complexiy quesions: Wh is he complexiy o deciding wheher... uomon A cceps ree? uomon A cceps ree ll? uomon A cceps ll rees o uomon B? se o uom ccep common ree? Closure under Union nd Inersecion: Produc Consrucion Exmple Auomon A: even numer o s (even,even) odd Auomon B: even numer o s (even,even) even Closure under Union nd Inersecion Produc Consrucion: Given A, B, consruc A B Alphe(A B) = Alphe(A) Alphe(B) Ses(A B) = Ses(A) Ses(B) Finl(A B) = {(s A,s B ) s A Finl(A) s B Finl(B)} Rules(A B) = { even even odd even even even ( (s 1 A,s 1 B ),...,(sk A,sk B )) (k) (s A,s B ) (sa 1,...,sk A ) (k) s A Rules(A) ( (even,even),(even,even) ) (odd,even) (sb 1,...,sk B ) (k) s B Rules(B)}
9 Closure under Union nd Inersecion: Union Closure under Union nd Inersecion: Inersecion Given A, B, consruc A B Alphe(A B) = Alphe(A) Alphe(B) Ses(A B) = Ses(A) Ses(B) Rules(A B) = { ( (s 1 A,s 1 B ),...,(sk A,sk B )) (k) (s A,s B ) (sa 1,...,sk A ) (k) s A Rules(A) (sb 1,...,sk B ) (k) s B Rules(B)} Given A, B, consruc A B Alphe(A B) = Alphe(A) Alphe(B) Ses(A B) = Ses(A) Ses(B) Rules(A B) = { ( (s 1 A,s 1 B ),...,(sk A,sk B )) (k) (s A,s B ) (sa 1,...,sk A ) (k) s A Rules(A) (sb 1,...,sk B ) (k) s B Rules(B)} Finl(A B) = {(s A,s B ) s A Finl(A) s B Finl(B)} Finl(A B) = {(s A,s B ) s A Finl(A) s B Finl(B)} Produc Consrucion: Blow-up Closure under Complemen: Compleion Produc Consrucion: Blow-up Ses(A B) = Ses(A) Ses(B) Rules(A B) Rules(A) Rules(B) Blow-up: Qudric Deiniion (Complee ree uomon) For ech (k) Alphe(A) nd q 1,...,q k Ses(A), here is rule (q 1,...,q k ) q or some q. Exmple (Incomplee (deerminisic) Tree Auomon) Tree uomon A or {(,)}: ε q (q,q ) q wih Finl(A) = q Closure under Complemen: Compleion Closure under Complemen Exmple (Incomplee (deerminisic) Tree Auomon) Tree uomon A or {(,)}: ε q (q,q ) q wih Finl(A) = q Exmple (Complemening A) Add sink se q s : ε q ε q s (q,q ) q (q,q ) q s (q,q ) q s (q,q ) q s (q,q ) q s (q,q ) q s (q,q ) q s (q,q ) q s (q s,q), q s or ll q {q,q,q s } (q,q s ), q s or ll q {q,q,q s } wih Finl(A) = {q,q s } Complemening A (1) Deerminize A (2) Complee he resul (3) Swich inl non-inl ses Complemen consrucion: Blow-up Deerminizing A: exponenil low-up (ses: 2 Ses(A) ) Compleing he resul: low-up in rules: Alphe (2 Ses(A) ) k, where k is mximl rnk Alphe(A) Swiching inl non-inl ses: liner Overll: Exponenil low-up
10 Nurl Quesions Generl quesions: Are non-deerminisic nd deerminisic rnked ree uom equivlen? Yes. Are regulr ree lnguges closed under Bool. operions? Yes. Does i mer wheher we red rees op-down or oom-up? Do we hve pumping lemm? Cn ree uom e minimized? Complexiy quesions: Wh is he complexiy o deciding wheher... uomon A cceps ree? uomon A cceps ree ll? uomon A cceps ll rees o uomon B? se o uom ccep common ree? Top-Down Tree Auom: Connecion o Srings Exmple (Srings re Unry Trees) cd = ((c(d))) = c d Reding srings le-o-righ = Reding rees op-down Top-Down Tree Auom Top-Down Tree Auom Exmple Exmple rue rue rue rue rue lse lse rue rue lse lse rue ε ε (,) (, ) (,) (, ) rue lse (,) (, ) (,) (, ) Ini(A) = (,) (, ) (,) (, ) rue ε lse (,) (,) (,) (,) ε We need dieren rules Top-Down Tree Auom Cn Top-Down Tree Auom Be Deerminized? A op-down ree uomon A consiss o Alphe(A): inie se o lphe symols Ses(A): inie se o ses Rules(A): inie se o rnsiion rules Ini(A): inie se o iniil ses where Top-Down Deerminisic Tree Auomon For every q Ses(A) nd Alphe(A) here s mos one rule q (k) (q 1,...,q k ) Rules(A) re o he orm q (k) (q 1,...,q k ) Top-down ree uom lso recognize ll regulr ree lnguges
11 Cn Top-Down Tree Auom Be Deerminized? Top-Down TA do no recognize ll regulr lnguges! Exmple c c Ini(A) = q 0 q 0 (q,q) q ε q c ε lso recognizes... c c Nurl Quesions Generl quesions: Are non-deerminisic nd deerminisic rnked ree uom equivlen? Yes. Are regulr ree lnguges closed under Bool. operions? Yes. Does i mer wheher we red rees op-down or oom-up? Yes. Do we hve pumping lemm? Cn ree uom e minimized? Complexiy quesions: Wh is he complexiy o deciding wheher... uomon A cceps ree? uomon A cceps ree ll? uomon A cceps ll rees o uomon B? se o uom ccep common ree? Pumping Lemm Pumping Lemm Deiniion (Conex) A conex is ree wih hole Deiniion (Conex Applicion) Given he conex C nd ree, C[] is oined y plugging ino C. x x One cn lso pply conex o conex: C 1 [C 2 ] The resul is new conex The Pumping Lemm Wh s he use? Lemm (Pumping Lemm) I L is regulr, here is consn k such h, or every ree L wih deph les k here is conex C 1, (non-empy) conex C 2, nd smll ree such h = C 1 [C 2 [ ]] nd or every n N, C 1 [C n 2 [ ]] is in L. Show h lnguges re no regulr. Exmple (The Usul Suspec) n. #. # n
12 Nurl Quesions Generl quesions: Are non-deerminisic nd deerminisic rnked ree uom equivlen? Yes. Are regulr ree lnguges closed under Bool. operions? Yes. Does i mer wheher we red rees op-down or oom-up? Yes. Do we hve pumping lemm? Yes. Cn ree uom e minimized? Complexiy quesions: Wh is he complexiy o deciding wheher... uomon A cceps ree? uomon A cceps ree ll? uomon A cceps ll rees o uomon B? se o uom ccep common ree? Minimizion: Myhill-Nerode Theorem Deiniion (Congruence) A congruence is n equivlence relion on rees closed under conex I hen : Minimizion: Myhill-Nerode Theorem Minimizion: Myhill-Nerode Theorem Deiniion (Congruence o Lnguge) I L is ree lnguge hen we deine 1 L 2 i, or ll conexs C: C[ 1 ] L C[ 2 ] L Theorem (Myhill-Nerode or Trees) The ollowing re equivlen: () L is regulr ree lnguge () L is he union o some equivlence clsses o inie index (c) he relion L is congruence o inie index Miniml uomon A or L ollows rom his clssiicion: size o A = numer o equivlence clsses o L Nurl Quesions Generl quesions: Are non-deerminisic nd deerminisic rnked ree uom equivlen? Yes. Are regulr ree lnguges closed under Bool. operions? Yes. Does i mer wheher we red rees op-down or oom-up? Yes. Do we hve pumping lemm? Yes. Cn ree uom e minimized? Yes. Complexiy quesions: Wh is he complexiy o deciding wheher... uomon A cceps ree? uomon A cceps ree ll? uomon A cceps ll rees o uomon B? se o uom ccep common ree?
Some basic notation and terminology. Deterministic Finite Automata. COMP218: Decision, Computation and Language Note 1
COMP28: Decision, Compuion nd Lnguge Noe These noes re inended minly s supplemen o he lecures nd exooks; hey will e useful for reminders ou noion nd erminology. Some sic noion nd erminology An lphe is
More informationFoundations of XML Types: Tree Automata
1 / 43 Foundtions of XML Types: Tree Automt Pierre Genevès CNRS (slides mostly sed on slides y W. Mrtens nd T. Schwentick) University of Grenole Alpes, 2017 2018 2 / 43 Why Tree Automt? Foundtions of XML
More informatione t dt e t dt = lim e t dt T (1 e T ) = 1
Improper Inegrls There re wo ypes of improper inegrls - hose wih infinie limis of inegrion, nd hose wih inegrnds h pproch some poin wihin he limis of inegrion. Firs we will consider inegrls wih infinie
More informationLanguages That Are and Are Not Context-Free
Languages Tha re and re No Conex-Free Read K & S 3.5, 3.6, 3.7. Read Supplemenary Maerials: Conex-Free Languages and Pushdown uomaa: Closure Properies of Conex-Free Languages Read Supplemenary Maerials:
More informationChapter 2: Evaluative Feedback
Chper 2: Evluive Feedbck Evluing cions vs. insrucing by giving correc cions Pure evluive feedbck depends olly on he cion ken. Pure insrucive feedbck depends no ll on he cion ken. Supervised lerning is
More information1. For each of the following theorems, give a two or three sentence sketch of how the proof goes or why it is not true.
York University CSE 2 Unit 3. DFA Clsses Converting etween DFA, NFA, Regulr Expressions, nd Extended Regulr Expressions Instructor: Jeff Edmonds Don t chet y looking t these nswers premturely.. For ech
More informationAverage & instantaneous velocity and acceleration Motion with constant acceleration
Physics 7: Lecure Reminders Discussion nd Lb secions sr meeing ne week Fill ou Pink dd/drop form if you need o swich o differen secion h is FULL. Do i TODAY. Homework Ch. : 5, 7,, 3,, nd 6 Ch.: 6,, 3 Submission
More informationMotion. Part 2: Constant Acceleration. Acceleration. October Lab Physics. Ms. Levine 1. Acceleration. Acceleration. Units for Acceleration.
Moion Accelerion Pr : Consn Accelerion Accelerion Accelerion Accelerion is he re of chnge of velociy. = v - vo = Δv Δ ccelerion = = v - vo chnge of velociy elpsed ime Accelerion is vecor, lhough in one-dimensionl
More informationCMPSCI 250: Introduction to Computation. Lecture #31: What DFA s Can and Can t Do David Mix Barrington 9 April 2014
CMPSCI 250: Introduction to Computtion Lecture #31: Wht DFA s Cn nd Cn t Do Dvid Mix Brrington 9 April 2014 Wht DFA s Cn nd Cn t Do Deterministic Finite Automt Forml Definition of DFA s Exmples of DFA
More informationTheory of Computation Regular Languages. (NTU EE) Regular Languages Fall / 38
Theory of Computtion Regulr Lnguges (NTU EE) Regulr Lnguges Fll 2017 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of Finite Automt A finite utomton hs finite set of control
More informationContraction Mapping Principle Approach to Differential Equations
epl Journl of Science echnology 0 (009) 49-53 Conrcion pping Principle pproch o Differenil Equions Bishnu P. Dhungn Deprmen of hemics, hendr Rn Cmpus ribhuvn Universiy, Khmu epl bsrc Using n eension of
More informationThe solution is often represented as a vector: 2xI + 4X2 + 2X3 + 4X4 + 2X5 = 4 2xI + 4X2 + 3X3 + 3X4 + 3X5 = 4. 3xI + 6X2 + 6X3 + 3X4 + 6X5 = 6.
[~ o o :- o o ill] i 1. Mrices, Vecors, nd Guss-Jordn Eliminion 1 x y = = - z= The soluion is ofen represened s vecor: n his exmple, he process of eliminion works very smoohly. We cn elimine ll enries
More informationTheory of Computation Regular Languages
Theory of Computtion Regulr Lnguges Bow-Yw Wng Acdemi Sinic Spring 2012 Bow-Yw Wng (Acdemi Sinic) Regulr Lnguges Spring 2012 1 / 38 Schemtic of Finite Automt control 0 0 1 0 1 1 1 0 Figure: Schemtic of
More informationProperties of Logarithms. Solving Exponential and Logarithmic Equations. Properties of Logarithms. Properties of Logarithms. ( x)
Properies of Logrihms Solving Eponenil nd Logrihmic Equions Properies of Logrihms Produc Rule ( ) log mn = log m + log n ( ) log = log + log Properies of Logrihms Quoien Rule log m = logm logn n log7 =
More informationENGR 1990 Engineering Mathematics The Integral of a Function as a Function
ENGR 1990 Engineering Mhemics The Inegrl of Funcion s Funcion Previously, we lerned how o esime he inegrl of funcion f( ) over some inervl y dding he res of finie se of rpezoids h represen he re under
More informationSeptember 20 Homework Solutions
College of Engineering nd Compuer Science Mechnicl Engineering Deprmen Mechnicl Engineering A Seminr in Engineering Anlysis Fll 7 Number 66 Insrucor: Lrry Creo Sepember Homework Soluions Find he specrum
More information0 for t < 0 1 for t > 0
8.0 Sep nd del funcions Auhor: Jeremy Orloff The uni Sep Funcion We define he uni sep funcion by u() = 0 for < 0 for > 0 I is clled he uni sep funcion becuse i kes uni sep = 0. I is someimes clled he Heviside
More informationtwo values, false and true used in mathematical logic, and to two voltage levels, LOW and HIGH used in switching circuits.
Digil Logi/Design. L. 3 Mrh 2, 26 3 Logi Ges nd Boolen Alger 3. CMOS Tehnology Digil devises re predominnly mnufured in he Complemenry-Mel-Oide-Semionduor (CMOS) ehnology. Two ypes of swihes, s disussed
More informationAUTOMATA AND LANGUAGES. Definition 1.5: Finite Automaton
25. Finite Automt AUTOMATA AND LANGUAGES A system of computtion tht only hs finite numer of possile sttes cn e modeled using finite utomton A finite utomton is often illustrted s stte digrm d d d. d q
More informationHomework 3 Solutions
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 3 Solutions 1. Give NFAs with the specified numer of sttes recognizing ech of the following lnguges. In ll cses, the lphet is Σ = {,1}.
More informationREAL ANALYSIS I HOMEWORK 3. Chapter 1
REAL ANALYSIS I HOMEWORK 3 CİHAN BAHRAN The quesions re from Sein nd Shkrchi s e. Chper 1 18. Prove he following sserion: Every mesurble funcion is he limi.e. of sequence of coninuous funcions. We firs
More informationExplore 2 Proving the Vertical Angles Theorem
Explore 2 Proving he Verical Angles Theorem The conjecure from he Explore abou verical angles can be proven so i can be saed as a heorem. The Verical Angles Theorem If wo angles are verical angles, hen
More informationFundamentals of Computer Science
Fundmentls of Computer Science Chpter 3: NFA nd DFA equivlence Regulr expressions Henrik Björklund Umeå University Jnury 23, 2014 NFA nd DFA equivlence As we shll see, it turns out tht NFA nd DFA re equivlent,
More information5.1-The Initial-Value Problems For Ordinary Differential Equations
5.-The Iniil-Vlue Problems For Ordinry Differenil Equions Consider solving iniil-vlue problems for ordinry differenil equions: (*) y f, y, b, y. If we know he generl soluion y of he ordinry differenil
More informationMyhill-Nerode Theorem
Overview Myhill-Nerode Theorem Correspondence etween DA s nd MN reltions Cnonicl DA for L Computing cnonicl DFA Myhill-Nerode Theorem Deepk D Souz Deprtment of Computer Science nd Automtion Indin Institute
More informationFormal Languages and Automata
Moile Computing nd Softwre Engineering p. 1/5 Forml Lnguges nd Automt Chpter 2 Finite Automt Chun-Ming Liu cmliu@csie.ntut.edu.tw Deprtment of Computer Science nd Informtion Engineering Ntionl Tipei University
More informationCHAPTER 1 Regular Languages. Contents. definitions, examples, designing, regular operations. Non-deterministic Finite Automata (NFA)
Finite Automt (FA or DFA) CHAPTER Regulr Lnguges Contents definitions, exmples, designing, regulr opertions Non-deterministic Finite Automt (NFA) definitions, equivlence of NFAs DFAs, closure under regulr
More informationTheory of! Partial Differential Equations!
hp://www.nd.edu/~gryggva/cfd-course/! Ouline! Theory o! Parial Dierenial Equaions! Gréar Tryggvason! Spring 011! Basic Properies o PDE!! Quasi-linear Firs Order Equaions! - Characerisics! - Linear and
More informationStreamed Validation of XML Documents
Preliminries DTD Document Type Definition References Jnury 29, 2009 Preliminries DTD Document Type Definition References Structure Preliminries Unrnked Trees Recognizble Lnguges DTD Document Type Definition
More informationSome Inequalities variations on a common theme Lecture I, UL 2007
Some Inequliies vriions on common heme Lecure I, UL 2007 Finbrr Hollnd, Deprmen of Mhemics, Universiy College Cork, fhollnd@uccie; July 2, 2007 Three Problems Problem Assume i, b i, c i, i =, 2, 3 re rel
More informationChapter 2. Motion along a straight line. 9/9/2015 Physics 218
Chper Moion long srigh line 9/9/05 Physics 8 Gols for Chper How o describe srigh line moion in erms of displcemen nd erge elociy. The mening of insnneous elociy nd speed. Aerge elociy/insnneous elociy
More informationNFA DFA Example 3 CMSC 330: Organization of Programming Languages. Equivalence of DFAs and NFAs. Equivalence of DFAs and NFAs (cont.
NFA DFA Exmple 3 CMSC 330: Orgniztion of Progrmming Lnguges NFA {B,D,E {A,E {C,D {E Finite Automt, con't. R = { {A,E, {B,D,E, {C,D, {E 2 Equivlence of DFAs nd NFAs Any string from {A to either {D or {CD
More informationExact Minimization of # of Joins
A Quer Rewriing Algorihm: Ec Minimizion of # of Joins Emple (movie bse) selec.irecor from movie, movie, movie m3, scheule, scheule s2 where.irecor =.irecor n.cor = m3.cor n.ile =.ile n m3.ile = s2.ile
More informationSolutions to Problems from Chapter 2
Soluions o Problems rom Chper Problem. The signls u() :5sgn(), u () :5sgn(), nd u h () :5sgn() re ploed respecively in Figures.,b,c. Noe h u h () :5sgn() :5; 8 including, bu u () :5sgn() is undeined..5
More information11.1 Finite Automata. CS125 Lecture 11 Fall Motivation: TMs without a tape: maybe we can at least fully understand such a simple model?
CS125 Lecture 11 Fll 2016 11.1 Finite Automt Motivtion: TMs without tpe: mybe we cn t lest fully understnd such simple model? Algorithms (e.g. string mtching) Computing with very limited memory Forml verifiction
More informationFirst Midterm Examination
24-25 Fll Semester First Midterm Exmintion ) Give the stte digrm of DFA tht recognizes the lnguge A over lphet Σ = {, } where A = {w w contins or } 2) The following DFA recognizes the lnguge B over lphet
More informationWorked out examples Finite Automata
Worked out exmples Finite Automt Exmple Design Finite Stte Automton which reds inry string nd ccepts only those tht end with. Since we re in the topic of Non Deterministic Finite Automt (NFA), we will
More informationTheory of! Partial Differential Equations-I!
hp://users.wpi.edu/~grear/me61.hml! Ouline! Theory o! Parial Dierenial Equaions-I! Gréar Tryggvason! Spring 010! Basic Properies o PDE!! Quasi-linear Firs Order Equaions! - Characerisics! - Linear and
More informationCS375: Logic and Theory of Computing
CS375: Logic nd Theory of Computing Fuhu (Frnk) Cheng Deprtment of Computer Science University of Kentucky 1 Tle of Contents: Week 1: Preliminries (set lger, reltions, functions) (red Chpters 1-4) Weeks
More informationConvolution. Lecture #6 2CT.3 8. BME 333 Biomedical Signals and Systems - J.Schesser
Convoluion Lecure #6 C.3 8 Deiniion When we compue he ollowing inegral or τ and τ we say ha he we are convoluing wih g d his says: ae τ, lip i convolve in ime -τ, hen displace i in ime by seconds -τ, and
More informationHomework 4. 0 ε 0. (00) ε 0 ε 0 (00) (11) CS 341: Foundations of Computer Science II Prof. Marvin Nakayama
CS 341: Foundtions of Computer Science II Prof. Mrvin Nkym Homework 4 1. UsetheproceduredescriedinLemm1.55toconverttheregulrexpression(((00) (11)) 01) into n NFA. Answer: 0 0 1 1 00 0 0 11 1 1 01 0 1 (00)
More informationNFAs continued, Closure Properties of Regular Languages
lgorithms & Models of omputtion S/EE 374, Spring 209 NFs continued, losure Properties of Regulr Lnguges Lecture 5 Tuesdy, Jnury 29, 209 Regulr Lnguges, DFs, NFs Lnguges ccepted y DFs, NFs, nd regulr expressions
More informationSome Theory of Computation Exercises Week 1
Some Theory of Computtion Exercises Week 1 Section 1 Deterministic Finite Automt Question 1.3 d d d d u q 1 q 2 q 3 q 4 q 5 d u u u u Question 1.4 Prt c - {w w hs even s nd one or two s} First we sk whether
More informationFinite Automata Theory and Formal Languages TMV027/DIT321 LP4 2018
Finite Automt Theory nd Forml Lnguges TMV027/DIT321 LP4 2018 Lecture 10 An Bove April 23rd 2018 Recp: Regulr Lnguges We cn convert between FA nd RE; Hence both FA nd RE ccept/generte regulr lnguges; More
More informationRegular Languages and Applications
Regulr Lnguges nd Applictions Yo-Su Hn Deprtment of Computer Science Yonsei University 1-1 SNU 4/14 Regulr Lnguges An old nd well-known topic in CS Kleene Theorem in 1959 FA (finite-stte utomton) constructions:
More informationLecture #6: Continuous-Time Signals
EEL5: Discree-Time Signals and Sysems Lecure #6: Coninuous-Time Signals Lecure #6: Coninuous-Time Signals. Inroducion In his lecure, we discussed he ollowing opics:. Mahemaical represenaion and ransormaions
More informationNFAs continued, Closure Properties of Regular Languages
Algorithms & Models of Computtion CS/ECE 374, Fll 2017 NFAs continued, Closure Properties of Regulr Lnguges Lecture 5 Tuesdy, Septemer 12, 2017 Sriel Hr-Peled (UIUC) CS374 1 Fll 2017 1 / 31 Regulr Lnguges,
More informationCMSC 330: Organization of Programming Languages
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 CMSC 330 1 Types of Finite Automt Deterministic Finite Automt (DFA) Exctly one sequence of steps for ech string All exmples so fr Nondeterministic
More information1.0 Electrical Systems
. Elecricl Sysems The ypes of dynmicl sysems we will e sudying cn e modeled in erms of lgeric equions, differenil equions, or inegrl equions. We will egin y looking fmilir mhemicl models of idel resisors,
More informationMTH 146 Class 11 Notes
8.- Are of Surfce of Revoluion MTH 6 Clss Noes Suppose we wish o revolve curve C round n is nd find he surfce re of he resuling solid. Suppose f( ) is nonnegive funcion wih coninuous firs derivive on he
More informationNondeterminism. Nondeterministic Finite Automata. Example: Moves on a Chessboard. Nondeterminism (2) Example: Chessboard (2) Formal NFA
Nondeterminism Nondeterministic Finite Automt Nondeterminism Subset Construction A nondeterministic finite utomton hs the bility to be in severl sttes t once. Trnsitions from stte on n input symbol cn
More informationTypes of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. NFA for (a b)*abb.
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 Types of Finite Automt Deterministic Finite Automt () Exctly one sequence of steps for ech string All exmples so fr Nondeterministic Finite Automt
More informationNon-deterministic Finite Automata
Non-deterministic Finite Automt From Regulr Expressions to NFA- Eliminting non-determinism Rdoud University Nijmegen Non-deterministic Finite Automt H. Geuvers nd J. Rot Institute for Computing nd Informtion
More informationAn Excursion into Set Theory using a Constructivist Approach
An Excursion ino Se Theory using a Consrucivis Approach Miderm Repor Nihil Pail under supervision of Ksenija Simic Fall 2005 Absrac Consrucive logic is an alernaive o he heory of classical logic ha draws
More informationCS311 Computational Structures Regular Languages and Regular Grammars. Lecture 6
CS311 Computtionl Strutures Regulr Lnguges nd Regulr Grmmrs Leture 6 1 Wht we know so fr: RLs re losed under produt, union nd * Every RL n e written s RE, nd every RE represents RL Every RL n e reognized
More informationCSE : Exam 3-ANSWERS, Spring 2011 Time: 50 minutes
CSE 260-002: Exm 3-ANSWERS, Spring 20 ime: 50 minutes Nme: his exm hs 4 pges nd 0 prolems totling 00 points. his exm is closed ook nd closed notes.. Wrshll s lgorithm for trnsitive closure computtion is
More informationCS 301. Lecture 04 Regular Expressions. Stephen Checkoway. January 29, 2018
CS 301 Lecture 04 Regulr Expressions Stephen Checkowy Jnury 29, 2018 1 / 35 Review from lst time NFA N = (Q, Σ, δ, q 0, F ) where δ Q Σ P (Q) mps stte nd n lphet symol (or ) to set of sttes We run n NFA
More information1. Find a basis for the row space of each of the following matrices. Your basis should consist of rows of the original matrix.
Mh 7 Exm - Prcice Prolem Solions. Find sis for he row spce of ech of he following mrices. Yor sis shold consis of rows of he originl mrix. 4 () 7 7 8 () Since we wn sis for he row spce consising of rows
More information3 Regular expressions
3 Regulr expressions Given n lphet Σ lnguge is set of words L Σ. So fr we were le to descrie lnguges either y using set theory (i.e. enumertion or comprehension) or y n utomton. In this section we shll
More informationWe just finished the Erdős-Stone Theorem, and ex(n, F ) (1 1/(χ(F ) 1)) ( n
Lecure 3 - Kövari-Sós-Turán Theorem Jacques Versraëe jacques@ucsd.edu We jus finished he Erdős-Sone Theorem, and ex(n, F ) ( /(χ(f ) )) ( n 2). So we have asympoics when χ(f ) 3 bu no when χ(f ) = 2 i.e.
More informationLearning Goals. Relational Query Languages. Formal Relational Query Languages. Formal Query Languages: Relational Algebra and Relational Calculus
Forml Query Lnguges: Reltionl Alger nd Reltionl Clculus Chpter 4 Lerning Gols Given dtse ( set of tles ) you will e le to express dtse query in Reltionl Alger (RA), involving the sic opertors (selection,
More informationA Kalman filtering simulation
A Klmn filering simulion The performnce of Klmn filering hs been esed on he bsis of wo differen dynmicl models, ssuming eiher moion wih consn elociy or wih consn ccelerion. The former is epeced o beer
More informationBİL 354 Veritabanı Sistemleri. Relational Algebra (İlişkisel Cebir)
BİL 354 Veritnı Sistemleri Reltionl lger (İlişkisel Ceir) Reltionl Queries Query lnguges: llow mnipultion nd retrievl of dt from dtse. Reltionl model supports simple, powerful QLs: Strong forml foundtion
More informationHarvard University Computer Science 121 Midterm October 23, 2012
Hrvrd University Computer Science 121 Midterm Octoer 23, 2012 This is closed-ook exmintion. You my use ny result from lecture, Sipser, prolem sets, or section, s long s you quote it clerly. The lphet is
More informationCS 311 Homework 3 due 16:30, Thursday, 14 th October 2010
CS 311 Homework 3 due 16:30, Thursdy, 14 th Octoer 2010 Homework must e sumitted on pper, in clss. Question 1. [15 pts.; 5 pts. ech] Drw stte digrms for NFAs recognizing the following lnguges:. L = {w
More informationClosure Properties of Regular Languages
Closure Properties of Regulr Lnguges Regulr lnguges re closed under mny set opertions. Let L 1 nd L 2 e regulr lnguges. (1) L 1 L 2 (the union) is regulr. (2) L 1 L 2 (the conctention) is regulr. (3) L
More informationRevision Sheet. (a) Give a regular expression for each of the following languages:
Theoreticl Computer Science (Bridging Course) Dr. G. D. Tipldi F. Bonirdi Winter Semester 2014/2015 Revision Sheet University of Freiurg Deprtment of Computer Science Question 1 (Finite Automt, 8 + 6 points)
More informationCHAPTER 1 Regular Languages. Contents
Finite Automt (FA or DFA) CHAPTE 1 egulr Lnguges Contents definitions, exmples, designing, regulr opertions Non-deterministic Finite Automt (NFA) definitions, euivlence of NFAs nd DFAs, closure under regulr
More informationChapter Direct Method of Interpolation
Chper 5. Direc Mehod of Inerpolion Afer reding his chper, you should be ble o:. pply he direc mehod of inerpolion,. sole problems using he direc mehod of inerpolion, nd. use he direc mehod inerpolns o
More informationAho-Corasick Automata
Aho-Corsick Auom Sring D Srucures Over he nex few dys, we're going o be exploring d srucures specificlly designed for sring processing. These d srucures nd heir vrins re frequenly used in prcice Looking
More informationChapter 2 Summary. Carnegie Learning
Chaper Summary Key Terms inducion (.1) deducion (.1) counerexample (.1) condiional saemen (.1) proposiional form (.1) proposiional variables (.1) hypohesis (.1) conclusion (.1) ruh value (.1) ruh able
More informationLecture 3 ( ) (translated and slightly adapted from lecture notes by Martin Klazar)
Lecture 3 (5.3.2018) (trnslted nd slightly dpted from lecture notes by Mrtin Klzr) Riemnn integrl Now we define precisely the concept of the re, in prticulr, the re of figure U(, b, f) under the grph of
More informationCSC 373: Algorithm Design and Analysis Lecture 9
CSC 373: Algorihm Deign n Anlyi Leure 9 Alln Boroin Jnury 28, 2013 1 / 16 Leure 9: Announemen n Ouline Announemen Prolem e 1 ue hi Friy. Term Te 1 will e hel nex Mony, Fe in he uoril. Two nnounemen o follow
More informationCS 275 Automata and Formal Language Theory
CS 275 Automt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Problem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) Anton Setzer (Bsed on book drft by J. V. Tucker nd K. Stephenson)
More informationA Structural Approach to the Enforcement of Language and Disjunctive Constraints
A Srucurl Aroch o he Enforcemen of Lnguge nd Disjuncive Consrins Mrin V. Iordche School of Engineering nd Eng. Tech. LeTourneu Universiy Longview, TX 7607-700 Pnos J. Ansklis Dermen of Elecricl Engineering
More information2D Motion WS. A horizontally launched projectile s initial vertical velocity is zero. Solve the following problems with this information.
Nme D Moion WS The equions of moion h rele o projeciles were discussed in he Projecile Moion Anlsis Acii. ou found h projecile moes wih consn eloci in he horizonl direcion nd consn ccelerion in he ericl
More informationTypes of Finite Automata. CMSC 330: Organization of Programming Languages. Comparing DFAs and NFAs. Comparing DFAs and NFAs (cont.) Finite Automata 2
CMSC 330: Orgniztion of Progrmming Lnguges Finite Automt 2 Types of Finite Automt Deterministic Finite Automt () Exctly one sequence of steps for ech string All exmples so fr Nondeterministic Finite Automt
More informationCS 275 Automata and Formal Language Theory
CS 275 utomt nd Forml Lnguge Theory Course Notes Prt II: The Recognition Prolem (II) Chpter II.5.: Properties of Context Free Grmmrs (14) nton Setzer (Bsed on ook drft y J. V. Tucker nd K. Stephenson)
More informationCoalgebra, Lecture 15: Equations for Deterministic Automata
Colger, Lecture 15: Equtions for Deterministic Automt Julin Slmnc (nd Jurrin Rot) Decemer 19, 2016 In this lecture, we will study the concept of equtions for deterministic utomt. The notes re self contined
More informationJava II Finite Automata I
Jv II Finite Automt I Bernd Kiefer Bernd.Kiefer@dfki.de Deutsches Forschungszentrum für künstliche Intelligenz Finite Automt I p.1/13 Processing Regulr Expressions We lredy lerned out Jv s regulr expression
More informationExercises Chapter 1. Exercise 1.1. Let Σ be an alphabet. Prove wv = w + v for all strings w and v.
1 Exercises Chpter 1 Exercise 1.1. Let Σ e n lphet. Prove wv = w + v for ll strings w nd v. Prove # (wv) = # (w)+# (v) for every symol Σ nd every string w,v Σ. Exercise 1.2. Let w 1,w 2,...,w k e k strings,
More informationLongest Common Prefixes
Longes Common Prefixes The sandard ordering for srings is he lexicographical order. I is induced by an order over he alphabe. We will use he same symbols (,
More informationFURTHER GENERALIZATIONS. QI Feng. The value of the integral of f(x) over [a; b] can be estimated in a variety ofways. b a. 2(M m)
Univ. Beogrd. Pul. Elekroehn. Fk. Ser. M. 8 (997), 79{83 FUTHE GENEALIZATIONS OF INEQUALITIES FO AN INTEGAL QI Feng Using he Tylor's formul we prove wo inegrl inequliies, h generlize K. S. K. Iyengr's
More informationECE Microwave Engineering. Fall Prof. David R. Jackson Dept. of ECE. Notes 10. Waveguides Part 7: Transverse Equivalent Network (TEN)
EE 537-635 Microwve Engineering Fll 7 Prof. Dvid R. Jcson Dep. of EE Noes Wveguides Pr 7: Trnsverse Equivlen Newor (N) Wveguide Trnsmission Line Model Our gol is o come up wih rnsmission line model for
More informationLecture 08: Feb. 08, 2019
4CS4-6:Theory of Computtion(Closure on Reg. Lngs., regex to NDFA, DFA to regex) Prof. K.R. Chowdhry Lecture 08: Fe. 08, 2019 : Professor of CS Disclimer: These notes hve not een sujected to the usul scrutiny
More informationSOLUTIONS TO ECE 3084
SOLUTIONS TO ECE 384 PROBLEM 2.. For each sysem below, specify wheher or no i is: (i) memoryless; (ii) causal; (iii) inverible; (iv) linear; (v) ime invarian; Explain your reasoning. If he propery is no
More informationPhysic 231 Lecture 4. Mi it ftd l t. Main points of today s lecture: Example: addition of velocities Trajectories of objects in 2 = =
Mi i fd l Phsic 3 Lecure 4 Min poins of od s lecure: Emple: ddiion of elociies Trjecories of objecs in dimensions: dimensions: g 9.8m/s downwrds ( ) g o g g Emple: A foobll pler runs he pern gien in he
More informationCrossing the Bridge between Similar Games
Crossing he Bridge beween Similar Games Jan-David Quesel, Marin Fränzle, and Werner Damm Universiy of Oldenburg, Deparmen of Compuing Science, Germany CMACS Seminar CMU, Pisburgh, PA, USA 2nd December
More informationFinite Automata-cont d
Automt Theory nd Forml Lnguges Professor Leslie Lnder Lecture # 6 Finite Automt-cont d The Pumping Lemm WEB SITE: http://ingwe.inghmton.edu/ ~lnder/cs573.html Septemer 18, 2000 Exmple 1 Consider L = {ww
More informationState Minimization for DFAs
Stte Minimiztion for DFAs Red K & S 2.7 Do Homework 10. Consider: Stte Minimiztion 4 5 Is this miniml mchine? Step (1): Get rid of unrechle sttes. Stte Minimiztion 6, Stte is unrechle. Step (2): Get rid
More information( ) ( ) ( ) ( ) ( ) ( y )
8. Lengh of Plne Curve The mos fmous heorem in ll of mhemics is he Pyhgoren Theorem. I s formulion s he disnce formul is used o find he lenghs of line segmens in he coordine plne. In his secion you ll
More informationPHYSICS 1210 Exam 1 University of Wyoming 14 February points
PHYSICS 1210 Em 1 Uniersiy of Wyoming 14 Februry 2013 150 poins This es is open-noe nd closed-book. Clculors re permied bu compuers re no. No collborion, consulion, or communicion wih oher people (oher
More informationChapter 7: Solving Trig Equations
Haberman MTH Secion I: The Trigonomeric Funcions Chaper 7: Solving Trig Equaions Le s sar by solving a couple of equaions ha involve he sine funcion EXAMPLE a: Solve he equaion sin( ) The inverse funcions
More informationRegular languages refresher
Regulr lnguges refresher 1 Regulr lnguges refresher Forml lnguges Alphet = finite set of letters Word = sequene of letter Lnguge = set of words Regulr lnguges defined equivlently y Regulr expressions Finite-stte
More informationad = cb (1) cf = ed (2) adf = cbf (3) cf b = edb (4)
10 Most proofs re left s reding exercises. Definition 10.1. Z = Z {0}. Definition 10.2. Let be the binry reltion defined on Z Z by, b c, d iff d = cb. Theorem 10.3. is n equivlence reltion on Z Z. Proof.
More informationXML and Databases. Lecture 5 XML Validation using Automata. Sebastian Maneth NICTA and UNSW
XML nd Dtbses Lecture 5 XML Vlidtion using Automt Sebstin Mneth NICTA nd UNSW CSE@UNSW -- Semester 1, 2009 Outline 2 1. Recp: deterministic Reg Expr s / Glushkov Automton 2. Complexity of DTD vlidtion
More informationName Ima Sample ASU ID
Nme Im Smple ASU ID 2468024680 CSE 355 Test 1, Fll 2016 30 Septemer 2016, 8:35-9:25.m., LSA 191 Regrding of Midterms If you elieve tht your grde hs not een dded up correctly, return the entire pper to
More information1. Consider a PSA initially at rest in the beginning of the left-hand end of a long ISS corridor. Assume xo = 0 on the left end of the ISS corridor.
In Eercise 1, use sndrd recngulr Cresin coordine sysem. Le ime be represened long he horizonl is. Assume ll ccelerions nd decelerions re consn. 1. Consider PSA iniilly res in he beginning of he lef-hnd
More informationNON-DETERMINISTIC FSA
Tw o types of non-determinism: NON-DETERMINISTIC FS () Multiple strt-sttes; strt-sttes S Q. The lnguge L(M) ={x:x tkes M from some strt-stte to some finl-stte nd ll of x is proessed}. The string x = is
More information4.8 Improper Integrals
4.8 Improper Inegrls Well you ve mde i hrough ll he inegrion echniques. Congrs! Unforunely for us, we sill need o cover one more inegrl. They re clled Improper Inegrls. A his poin, we ve only del wih inegrls
More information