Formal Language & Automata Theory

Slides:



Advertisements
Similar presentations
Properties of Regular Sets
Advertisements

1 Let’s Recapitulate. 2 Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
Lecture 8 From NFA to Regular Language. Induction on k= # of states other than initial and final states K=0 a a* b a c d c*a(d+bc*a)*
Fall 2006Costas Busch - RPI1 Non-regular languages (Pumping Lemma)
CSCI 2670 Introduction to Theory of Computing September 13, 2005.
CSCI 2670 Introduction to Theory of Computing September 15, 2004.
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.
Lecture 3UofH - COSC Dr. Verma 1 COSC 3340: Introduction to Theory of Computation University of Houston Dr. Verma Lecture 3.
Courtesy Costas Busch - RPI1 Non Deterministic Automata.
CS 310 – Fall 2006 Pacific University CS310 Pumping Lemma Sections:1.4 page 77 September 27, 2006.
1 More Properties of Regular Languages. 2 We have proven Regular languages are closed under: Union Concatenation Star operation Reverse.
1 Regular Expressions. 2 Regular expressions describe regular languages Example: describes the language.
Costas Busch - RPI1 Standard Representations of Regular Languages Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
1 Introduction to Computability Theory Lecture4: Non Regular Languages Prof. Amos Israeli.
Fall 2003Costas Busch - RPI1 Decidable Problems of Regular Languages.
Costas Busch - RPI1 Standard Representations of Regular Languages Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
CSC 3130: Automata theory and formal languages Andrej Bogdanov The Chinese University of Hong Kong Limitations.
Courtesy Costas Busch - RPI1 Non-regular languages.
Fall 2006Costas Busch - RPI1 Non-Deterministic Finite Automata.
Homework 4 Solutions.
Fall 2004COMP 3351 Standard Representations of Regular Languages Regular Languages DFAs NFAs Regular Expressions Regular Grammars.
1 Non-Deterministic Automata Regular Expressions.
Lecture 7UofH - COSC Dr. Verma 1 COSC 3340: Introduction to Theory of Computation University of Houston Dr. Verma Lecture 7.
Fall 2004COMP 3351 Another NFA Example. Fall 2004COMP 3352 Language accepted (redundant state)
Costas Busch - LSU1 Non-Deterministic Finite Automata.
Prof. Busch - LSU1 Non-regular languages (Pumping Lemma)
Prof. Busch - RPI1 Decidable Problems of Regular Languages.
1 Non-regular languages. 2 Regular languages Non-regular languages.
The Golden Chain εNFA  NFA  DFA  REGEX. Regular Expressions.
1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 5 School of Innovation, Design and Engineering Mälardalen University 2012.
Tutorial CSC3130 : Formal Languages and Automata Theory Haifeng Wan ( )
CS 203: Introduction to Formal Languages and Automata
CSCI 3130: Formal languages and automata theory Tutorial 3 Chin.
Theory of Computing CSCI 356/541 Lab Session. Outline Lab 1: Finite Automata  Construct and Run Construct and Run  Manipulating Transitions Manipulating.
1 Find as many examples as you can of w, x, y, z so that w is accepted by this DFA, w = x y z, y ≠ ε, | x y | ≤ 7, and x y n z is in L for all n ≥ 0.
Nonregular Languages How do you prove a language to be regular? How do you prove a language to be nonregular? A Pumping Lemma.
Equivalence with FA * Any Regex can be converted to FA and vice versa, because: * Regex and FA are equivalent in their descriptive power ** Regular language.
CSE 202 – Formal Languages and Automata Theory 1 REGULAR EXPRESSION.
General Discussion of “Properties” The Pumping Lemma Membership, Emptiness, Etc.
Theory of Languages and Automata By: Mojtaba Khezrian.
Complexity and Computability Theory I
Foundations of Computing Science
Non-regular languages
Standard Representations of Regular Languages
CSE322 PUMPING LEMMA FOR REGULAR SETS AND ITS APPLICATIONS
Formal Language & Automata Theory
Non Deterministic Automata
PROPERTIES OF REGULAR LANGUAGES
Formal Language & Automata Theory
Formal Language & Automata Theory
Formal Language & Automata Theory
Undecidable Problems (unsolvable problems)
COSC 3340: Introduction to Theory of Computation
Infiniteness Test The Pumping Lemma Nonregular Languages
Deterministic Finite Automata And Regular Languages Prof. Busch - LSU.
Non-Deterministic Finite Automata
COSC 3340: Introduction to Theory of Computation
4. Properties of Regular Languages
Non-Deterministic Finite Automata
Non Deterministic Automata
Deterministic PDAs - DPDAs
Finite Automata.
Elementary Questions about Regular Languages
Non-regular languages
Decidable Problems of Regular Languages
CHAPTER 1 Regular Languages
CSCI 2670 Introduction to Theory of Computing
Non Deterministic Automata
Presentation transcript:

Formal Language & Automata Theory Shyamanta M Hazarika Computer Sc. & Engineering Tezpur University http://www.tezu.ernet.in/~smh

Regular Language When we say: We are given a Regular Language We mean: Language is in a standard representation

Standard Representations Regular Languages DFAs Regular Grammars NFAs Regular Expressions

Membership Question Question: Given regular language and string how can we check if ? Answer: Take the DFA that accepts and check if is accepted

Membership Question DFA DFA

Elementary Question Question: Given regular language how can we check if is empty: ? Take the DFA that accepts Check if there is a path from the initial state to a final state Answer:

Elementary Question DFA

Elementary Question Question: Given regular language how can we check if is finite? Answer: Take the DFA that accepts Check if there is a walk with cycle from the initial state to a final state

Elementary Question DFA is infinite DFA is finite

Elementary Question Question: Given regular languages and how can we check if ? Answer: Find if

Elementary Question and

Elementary Question or

Non-regular languages

Prove language is Not Regular How can we prove that a language is not regular? Prove that there is no DFA that accepts Problem: this is not easy to prove Solution: Pumping Lemma !!!

The Pigeonhole Principle pigeons pigeonholes

The Pigeonhole Principle A pigeonhole must contain at least two pigeons

The Pigeonhole Principle pigeons ........... pigeonholes ...........

The Pigeonhole Principle pigeons pigeonholes There is a pigeonhole with at least 2 pigeons ...........

Pigeonhole and DFA DFA with states

Pigeonhole and DFA In walks of strings: no state is repeated

Pigeonhole and DFA a state is repeated In walks of strings:

Pigeonhole and DFA If the walk of string has length then a state is repeated

Pigeonhole principle for any DFA If in a walk of a string transitions states of DFA then a state is repeated