CSC312 Automata Theory Nonregular Languages Chapter # 10 by Cohen

Slides:



Advertisements
Similar presentations
Properties of Regular Languages
Advertisements

Theory Of Automata By Dr. MM Alam
Lecture 9,10 Theory of AUTOMATA
Regular Expressions and DFAs COP 3402 (Summer 2014)
CSCI 2670 Introduction to Theory of Computing September 13, 2005.
Nonregular languages Sipser 1.4 (pages 77-82). CS 311 Mount Holyoke College 2 Nonregular languages? We now know: –Regular languages may be specified either.
Nonregular languages Sipser 1.4 (pages 77-82). CS 311 Fall Nonregular languages? We now know: –Regular languages may be specified either by regular.
Cohen, Chapter 61 Introduction to Computational Theory Chapter 6.
COMMONWEALTH OF AUSTRALIA Copyright Regulations 1969 WARNING This material has been reproduced and communicated to you by or on behalf of Monash University.
Homework 4 Solutions.
Lecture 03: Theory of Automata:08 Finite Automata.
1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 5 School of Innovation, Design and Engineering Mälardalen University 2012.
THEORY OF COMPUTATION 08 KLEENE’S THEOREM.
Lecture 05: Theory of Automata:08 Kleene’s Theorem and NFA.
4b 4b Lexical analysis Finite Automata. Finite Automata (FA) FA also called Finite State Machine (FSM) –Abstract model of a computing entity. –Decides.
Kleene’s Theorem Group No. 3 Presented To Mam Amina Presented By Roll No Roll No Roll No Roll No Group No. 3 Presented To Mam.
CSC312 Automata Theory Lecture # 1 Introduction.
Decidable languages Section 4.1 CSC 4170 Theory of Computation.
CS 3240 – Chapter 4.  Closure Properties  Algorithms for Elementary Questions:  Is a given word, w, in L?  Is L empty, finite or infinite?  Are L.
Class Discussion Can you draw a DFA that accepts the language {a k b k | k = 0,1,2,…} over the alphabet  ={a,b}?
Lecture # 12. Nondeterministic Finite Automaton (NFA) Definition: An NFA is a TG with a unique start state and a property of having single letter as label.
CS355 - Theory of Computation Regular Expressions.
CS 203: Introduction to Formal Languages and Automata
Recursive Definations Regular Expressions Ch # 4 by Cohen
Chapter 3 Regular Expressions, Nondeterminism, and Kleene’s Theorem Copyright © 2011 The McGraw-Hill Companies, Inc. Permission required for reproduction.
Theory of Computing CSCI 356/541 Lab Session. Outline Lab 1: Finite Automata  Construct and Run Construct and Run  Manipulating Transitions Manipulating.
Lecture 04: Theory of Automata:08 Transition Graphs.
CSC312 Automata Theory Lecture # 8 Chapter # 5 (Cont…) Finite Automata.
Algorithms for hard problems Automata and tree automata Juris Viksna, 2015.
CSCI 4325 / 6339 Theory of Computation Zhixiang Chen.
Nonregular Languages How do you prove a language to be regular? How do you prove a language to be nonregular? A Pumping Lemma.
1 Introduction to the Theory of Computation Regular Expressions.
Lecture # 17 Theory Of Automata By Dr. MM Alam 1.
1 Recap lecture 28 Examples of Myhill Nerode theorem, Quotient of a language, examples, Pseudo theorem: Quotient of a language is regular, prefixes of.
Lecture 09: Theory of Automata:2014 Asif NawazUIIT, PMAS-Arid Agriclture University Rawalpindi. Kleene’s Theorem and NFA.
Lecture # 8 (Transition Graphs). Example Consider the language L of strings, defined over Σ={a, b}, having (containing) triple a or triple b. Consider.
1 Advanced Theory of Computation Finite Automata with output Pumping Lemma Theorem.
Lecture 15: Theory of Automata:2014 Finite Automata with Output.
Pumping Lemma.
Recap lecture 33 Example of trees, Polish Notation, examples, Ambiguous CFG, example,
PROPERTIES OF REGULAR LANGUAGES
Complexity and Computability Theory I
CSE 105 theory of computation
Lecture 9 Theory of AUTOMATA
Chapter 2 FINITE AUTOMATA.
CSE 105 theory of computation
Non-deterministic Finite Automata (NFA)
Recap lecture 29 Example of prefixes of a language, Theorem: pref(Q in R) is regular, proof, example, Decidablity, deciding whether two languages are equivalent.
Kleene’s Theorem Muhammad Arif 12/6/2018.
NFAs and Transition Graphs
Pumping Lemma.
Recap lecture 26 Example of nonregular language, pumping lemma version I, proof, examples,
Lecture 5 Theory of AUTOMATA
ReCap Chomsky Normal Form, Theorem regarding CNF, examples of converting CFG to be in CNF, Example of an FA corresponding to Regular CFG, Left most and.
CSC312 Automata Theory Transition Graphs Lecture # 9
Recap lecture 11 Proof of Kleene’s theorem part II (method with different steps), particular examples of TGs to determine corresponding REs.
Recap lecture 25 Intersection of two regular languages is regular, examples, non regular languages, example.
RECAP Lecture 7 FA of EVEN EVEN, FA corresponding to finite languages(using both methods), Transition graphs.
Recap lecture 23 Mealy machines in terms of sequential circuit.
Recap Lecture 15 Examples of Kleene’s theorem part III (method 3), NFA, examples, avoiding loop using NFA, example, converting FA to NFA, examples, applying.
Kleene’s Theorem (Part-3)
Chapter # 5 by Cohen (Cont…)
CSC312 Automata Theory Kleene’s Theorem Lecture # 12
CSE 105 theory of computation
Kleene’s Theorem (Part-3)
LECTURE # 07.
Mealy and Moore Machines
CSC312 Automata Theory Lecture # 24 Chapter # 11 by Cohen Decidability.
CSE 105 theory of computation
Presentation transcript:

CSC312 Automata Theory Nonregular Languages Chapter # 10 by Cohen Lecture # 23 Chapter # 10 by Cohen Nonregular Languages

Nonregular Languages: The language that cannot be expressed by any regular expression is called a nonregular language. The languages PALINDROME and PRIME are the examples of nonregualr language. By Kleene’s theorem a nonregular language can also not be accepted by any FA of TG. All the language are either regular or nonregular, none are both. Ex: Consider the language L={an bn : n=0,1,2,…} = {, ab, aabb, aaabbb, …} PRIME = {ap where p is a prime} PALINDROME = {w= wR} where w is a string in the language

Pumping Lemma: If L be any infininte language (that has infinite many words), defined over an alphabet  then there exists three strings x, y and z belonging to * (where y is not the null string) such that all the strings of the form synz for n=1, 2, 3, … are the words in L. If the new word is in the language then it is a regular language otherwise nonregular language. . Ex: Consider the language L={an bn : n=0,1,2,…} = {, ab, aabb, aaabbb, …}

Chapter # 11 by Cohen Decidability

Decision Procedure: Effectively Solvable Problem: A problem is said to be effectively solvable if there exists an algorithm that provides the solution in finite number of steps e.g. finding solution for quadratic equation is effectively solvable problem. Decision Procedure: An effective solution to a problem that has a yes or no answer is called a decision procedure. Decidable: A problem that has a decision procedure is called decidable.

Decidability Problems Equivalency problem – equivalence of two languages If L1 and L2 are regular languages, then they can be expressed either by REs or by FAs. We can easily develop FAs for . Therefore, we can produce an FA that accepts the language This machine accepts the language of all words that are in L1 but not in L2, or else in L2 but not in L1. If L1 is equal to L2, then this machine accepts nothing at all, not even the Null string.

Decidability Problems Equivalence of two languages (cont…) Methods that determine whether a given FA accepts any words or not. Method-1: Convert the FA into regular expression – If a single RE is generated then the FA accepts some strings. The algorithm that determines what word is definitely present in the given RE. Step-1: Remove all Kleene’s Star and Kleene’s Plus operators from the RE Step-2: For each + sign, throw away the right half of the sum and the + sign itself. Step-3: Remove parentheses, and we get the final word if exist.

Decidability Problems Method-2: (Blue paint method) To examine whether a certain FA accepts any word, it is required to seek paths from initial to final state. Following is the procedure to find such paths. Step-1: Paint the start state Blue. Step-2: From every blue state follow every edge that leads out of it and paint the destination state blue, then delete these edges from the machine. Step-3: Repeat step-2 until no new state is painted blue, then stop. Step-4: When the procedure stops, if any of the final states are painted blue, then the machine accepts some words, otherwise not.