Deterministic FA/ PDA Sequential Machine Theory Prof. K. J. Hintz

Slides:



Advertisements
Similar presentations
Theory of Computation CS3102 – Spring 2014 A tale of computers, math, problem solving, life, love and tragic death Nathan Brunelle Department of Computer.
Advertisements

Chapter 5 Pushdown Automata
C O N T E X T - F R E E LANGUAGES ( use a grammar to describe a language) 1.
Pushdown Automata CPSC 388 Ellen Walker Hiram College.
Closure Properties of CFL's
Pushdown Automata Chapter 12. Recognizing Context-Free Languages Two notions of recognition: (1) Say yes or no, just like with FSMs (2) Say yes or no,
Erik Jonsson School of Engineering and Computer Science CS 4384 – 001
CS21 Decidability and Tractability
1 Introduction to Computability Theory Lecture12: Decidable Languages Prof. Amos Israeli.
1 Introduction to Computability Theory Lecture3: Regular Expressions Prof. Amos Israeli.
Introduction to Computability Theory
1 Introduction to Computability Theory Lecture7: PushDown Automata (Part 1) Prof. Amos Israeli.
Equivalence, DFA, NDFA Sequential Machine Theory Prof. K. J. Hintz Department of Electrical and Computer Engineering Lecture 2 Updated and modified by.
Regular Languages Sequential Machine Theory Prof. K. J. Hintz Department of Electrical and Computer Engineering Lecture 3 Comments, additions and modifications.
Deterministic FA/ PDA Sequential Machine Theory Prof. K. J. Hintz Department of Electrical and Computer Engineering Lecture 4 Updated by Marek Perkowski.
Regular Languages Sequential Machine Theory Prof. K. J. Hintz Department of Electrical and Computer Engineering Lecture 3 Comments, additions and modifications.
January 14, 2015CS21 Lecture 51 CS21 Decidability and Tractability Lecture 5 January 14, 2015.
CS 490: Automata and Language Theory Daniel Firpo Spring 2003.
Finite State Machines Data Structures and Algorithms for Information Processing 1.
CS 3240: Languages and Computation Pushdown Automata & CF Grammars NOTE: THESE ARE ONLY PARTIAL SLIDES RELATED TO WEEKS 9 AND 10. PLEASE REFER TO THE TEXTBOOK.
1 CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 8 Mälardalen University 2010.
Pushdown Automata CS 130: Theory of Computation HMU textbook, Chap 6.
Pushdown Automata (PDAs)
Pushdown Automata Part I: PDAs Chapter Recognizing Context-Free Languages Two notions of recognition: (1) Say yes or no, just like with FSMs (2)
1 CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 11 Midterm Exam 2 -Context-Free Languages Mälardalen University 2005.
1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 6 Mälardalen University 2010.
Pushdown Automata Chapters Generators vs. Recognizers For Regular Languages: –regular expressions are generators –FAs are recognizers For Context-free.
CS 203: Introduction to Formal Languages and Automata
Foundations of (Theoretical) Computer Science Chapter 2 Lecture Notes (Section 2.2: Pushdown Automata) Prof. Karen Daniels, Fall 2010 with acknowledgement.
1 CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 9 Mälardalen University 2006.
Formal Languages, Automata and Models of Computation
Donghyun (David) Kim Department of Mathematics and Physics North Carolina Central University 1 Chapter 2 Context-Free Languages Some slides are in courtesy.
CSCI 4325 / 6339 Theory of Computation Zhixiang Chen Department of Computer Science University of Texas-Pan American.
Grammar Set of variables Set of terminal symbols Start variable Set of Production rules.
1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 8 Mälardalen University 2011.
Pushdown Automata Chapter 12. Recognizing Context-Free Languages Two notions of recognition: (1) Say yes or no, just like with FSMs (2) Say yes or no,
1/29/02CSE460 - MSU1 Nondeterminism-NFA Section 4.1 of Martin Textbook CSE460 – Computability & Formal Language Theory Comp. Science & Engineering Michigan.
6. Pushdown Automata CIS Automata and Formal Languages – Pei Wang.
Language Recognition MSU CSE 260.
Formal Languages, Automata and Models of Computation
Pushdown Automata.
Natural Language Processing - Formal Language -
NPDAs Accept Context-Free Languages
CSE 105 theory of computation
Pushdown Automata PDAs
Pushdown Automata PDAs
Pushdown Automata PDAs
PDAs Accept Context-Free Languages
Pushdown Automata PDAs
Pushdown Automata.
Chapter 7 PUSHDOWN AUTOMATA.
NPDAs Accept Context-Free Languages
Pushdown Automata Reading: Chapter 6.
Equivalence, DFA, NDFA Sequential Machine Theory Prof. K. J. Hintz
COSC 3340: Introduction to Theory of Computation
CS21 Decidability and Tractability
Intro to Data Structures
Context-Free Grammars
Context-Free Languages
Deterministic PDAs - DPDAs
CS21 Decidability and Tractability
Decidability and Tractability
… NPDAs continued.
CSE 105 theory of computation
Chapter 1 Regular Language
Pushdown automata The Chinese University of Hong Kong Fall 2011
CSCI 2670 Introduction to Theory of Computing
CSE 105 theory of computation
CSE 105 theory of computation
Presentation transcript:

Deterministic FA/ PDA Sequential Machine Theory Prof. K. J. Hintz Department of Electrical and Computer Engineering Lecture 4 Updated by Marek Perkowski

Moret, Theory of Computation Numerical Acceptor A Non-intuitive Concept of a Language Is One Which Can Accept Binary Arithmetic Values, e.g. 1 5 3 2 4 Moret, Theory of Computation Check all strings, from shortest that are accepted. What is their language?

Languages Accepted by FA The Class of Languages Accepted by a Deterministic or Nondeterministic FA Is Closed Under Union Concatenation Kleene Star Complementation Intersection

Union of Languages M1 M2 e >

Concatenation of Languages M1 M2 e > F2 S1 F1 S1

Kleene Star of Languages M1 > F1 q0

Difference of Languages

Intersection of Languages

Give examples of languages that are not regular Languages and FA Kleene’s Theorem A Language Is Regular iff It Is Accepted by a Deterministic or Nondeterministic Finite Automata A Regular Language Is One Which Can Be Defined by a Regular Expression Not all languages are regular Give examples of languages that are not regular

Context Free Languages Up Until Now we learned the following: But This Is a Limited Class of Languages There Are Other Context-Free Languages Which Cannot Be Recognized by a DFA There Are Other Types of Machines Which Can Accept More Context-Free Languages

A Non-Regular Language Since a Language, L, Is a Subset of the Set of All Strings, I*, Are There Some Strings Which Cannot Be Produced by a Regular Expression or Recognized by a DFA? Yes, e.g.,

1 Lewis & Papadimitriou, Elements of the Theory of Computation an bn Regular? Theorem1: Let L be an infinite regular language. Then there are strings x, y, and z such that y  e and x yn z  L for each n  0 Proof based on pigeonhole principle If there are n + 1 pigeons and n pigeonholes, then at least two pigeons must be in the same hole If a string has more characters than there are states in the language recognizer, then some state must be entered more than once 1 Lewis & Papadimitriou, Elements of the Theory of Computation

an bn Regular? Language Is Infinite, Therefore Theorem Applies Is This Language Regular? If So, the Theorem Must Apply Three Cases to Study see next slides

an bn Regular? Case 1: y consists entirely of as

an bn Regular? Case 2: y consists entirely of bs Similar argument to Case 1

an bn Regular? Case 3: y contains both as and bs For n > 1, x yn z has an occurrence of b preceding an occurrence of a and therefore cannot be in L

Context Free Grammars: idea A More General Way to Describe and/or Generate Languages Context-Free Replacement Rules Can Be Applied Independently of the Preceding or Following Elements.

Context Free Grammar: definition A Quadruple, ( I, , R, s) where I An alphabet  A set of terminals, R A finite set of rules, a subset of the crossproduct of the set of non-terminals and all strings,

Context Free Grammar: definition cont s The start symbol, a non-terminal The set of non-terminals AND ...

Context Free Grammar: definition cont For All Non-terminals, And Strings The Grammar, G, Maps the Non-Terminals to Strings for strings u, v, x, y, v’  I* and non-terminals

Context Free Grammar: definition of G-related u is G-related to v iff u = x A y v = x v’ y and

Context Free Grammar: the set of all possible relations The relation, , the * meaning the set of all possible relations, is reflexive transitive has closure I* G

Context Free Language The Language Generated by the Context Free Grammar, G, Is the Set of Strings Which Map From the Start Symbol, s, Under the Reflexive, Transitive, and Closed Relation,

Context Free Language A Context Free Language Is One Which Can Be Generated by a Context Free Grammar, and, The Context Free Grammar (CFG) Can Be Used to Generate Strings of the Language

A Derivation Example The Steps in Applying the Rules From the Start Symbol to Any String Is Called a Derivation in G, e.g.,

Pushdown Automata All Context-Free Languages can Be Recognized by a PDA { an bn } Is Context-Free, but Not Regular Problem is same number of as and bs PDA Assumes An unlimited memory in the form of a stack, LIFO The machine only has access to the top of the stack.

Pushdown Automata: formal definition A PDA is a Sextuple,

Pushdown Relation where “top of stack” is replaced by “new top of stack.”

Pushdown Relation Example s=p s=q x x s=q s=p

PDA Properties One Can Have the Same State Before and After a Transition, but Have Different Stack Contents Which Makes It Non-Deterministic State Changes May Occur in the Absence of an Input, but Only If the Stack Is Not Empty. i.e., non-causal behavior.

PDA Properties: what is the state of PDA? The “State” of the PDA Is Determined Not Only by S, and Not Only by the Top-of-Stack, but Rather by Both the Current State and the Complete Contents of the Stack, x This “State of the PDA” Is Called the “Configuration of the PDA”

PDA Notation The Input May Cause the PDA to Change From Configuration 1 to Configuration 2

PDA Recognizer A string w  I* is accepted by a PDA

PDA Example* A Machine to Recognize Strings of the Form wcwR * Lewis & Papadimitriou, pg. 114

PDA Example wcwR Can Be Represented by a Context Free Grammar,

Equivalent NPDA wcwR can be represented by a NPDA where

Is abccba Accepted?

Is abccba Accepted?

Is abccba Accepted? The machine halts with unread inputs since there is no to be executed.

Is bacab Accepted?

Is bacab Accepted?

Is bacab Accepted? The machine halts with no unread input and nothing on the stack, therefore, bacab  language wcwR.