CSC312 Automata Theory Lecture # 3 Languages-II. Formal Language A formal language is a set of words—that is, strings of symbols drawn from a common alphabet.

Slides:



Advertisements
Similar presentations
Properties of Regular Languages
Advertisements

Regular Grammars Formal definition of a regular expression.
Regular Languages Sequential Machine Theory Prof. K. J. Hintz Department of Electrical and Computer Engineering Lecture 3 Comments, additions and modifications.
COMMONWEALTH OF AUSTRALIA Copyright Regulations 1969 WARNING This material has been reproduced and communicated to you by or on behalf of Monash University.
COMMONWEALTH OF AUSTRALIA Copyright Regulations 1969 WARNING This material has been reproduced and communicated to you by or on behalf of Monash University.
Fall 2006Costas Busch - RPI1 Languages. Fall 2006Costas Busch - RPI2 Language: a set of strings String: a sequence of symbols from some alphabet Example:
1 Regular Expressions/Languages Regular languages –Inductive definitions –Regular expressions syntax semantics Not covered in lecture.
Regular Languages A language is regular over  if it can be built from ;, {  }, and { a } for every a 2 , using operators union ( [ ), concatenation.
Theory Of Automata By Dr. MM Alam
Second lecture REGULAR EXPRESSION. Regular Expression.
Theory Of Automata By Dr. MM Alam
Lecture # 1 (Automata Theory)
Theory of Automata.
1 Welcome to ! Theory Of Automata. 2 Text and Reference Material 1.Introduction to Computer Theory, by Daniel I. Cohen, John Wiley and Sons, Inc., 1991,
Module 2 How to design Computer Language Huma Ayub Software Construction Lecture 7 1.
CSC312 Automata Theory Lecture # 2 Languages.
CSC312 Automata Theory Lecture # 2 Languages.
L ECTURE 1 T HEORY OF A UTOMATA. P RAGMATICS  Pre-Requisites  No Pre-Requisite  Text book  Introduction to Computer Theory by Daniel I.A. Cohen 
Formal Methods in SE Theory of Automata Qasiar Javaid Assistant Professor Lecture # 06.
Lecture Two: Formal Languages Formal Languages, Lecture 2, slide 1 Amjad Ali.
Introduction to Theory of Automata
Two examples English-Words English-Sentences alphabet S ={a,b,c,d,…}
1 Language Definitions Lecture # 2. Defining Languages The languages can be defined in different ways, such as Descriptive definition, Recursive definition,
Recap Lecture-2 Kleene Star Closure, Plus operation, recursive definition of languages, INTEGER, EVEN, factorial, PALINDROME, {anbn}, languages of strings.
Automata, Computability, & Complexity by Elaine Rich ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Slides provided by author Slides edited for.
1 Chapter 1 Introduction to the Theory of Computation.
Lecture # 3 Regular Expressions 1. Introduction In computing, a regular expression provides a concise and flexible means to "match" (specify and recognize)
1 CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 2 Mälardalen University 2006.
Module 2 How to design Computer Language Huma Ayub Software Construction Lecture 8.
Lecture-2 Recap Lecture-1
L ECTURE 3 Chapter 4 Regular Expressions. I MPORTANT T ERMS Regular Expressions Regular Languages Finite Representations.
1 Module 14 Regular languages –Inductive definitions –Regular expressions syntax semantics.
Recursive Definitions & Regular Expressions (RE)
Regular Expressions and Languages A regular expression is a notation to represent languages, i.e. a set of strings, where the set is either finite or contains.
Lecture 02: Theory of Automata:08 Theory of Automata.
1 CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 2 Mälardalen University 2010.
1 CDT314 FABER Formal Languages, Automata and Models of Computation Lecture 2 School of Innovation, Design and Engineering Mälardalen University 2012.
CS 3813: Introduction to Formal Languages and Automata
Recursive Definations Regular Expressions Ch # 4 by Cohen
Lecture # Book Introduction to Theory of Computation by Anil Maheshwari Michiel Smid, 2014 “Introduction to computer theory” by Daniel I.A. Cohen.
Theory of computation Introduction theory of computation: It comprises the fundamental mathematical properties of computer hardware, software,
Lecture # 4.
Mathematical Foundations of Computer Science Chapter 3: Regular Languages and Regular Grammars.
Lecture 2 Theory of AUTOMATA
1 Chapter 3 Regular Languages.  2 3.1: Regular Expressions (1)   Regular Expression (RE):   E is a regular expression over  if E is one of:
Week 13 - Wednesday.  What did we talk about last time?  Exam 3  Before review:  Graphing functions  Rules for manipulating asymptotic bounds  Computing.
Lecture 02: Theory of Automata:2014 Asif Nawaz Theory of Automata.
Lecture 03: Theory of Automata:2014 Asif Nawaz Theory of Automata.
CHAPTER TWO LANGUAGES By Dr Zalmiyah Zakaria.
Lecture # 8 (Transition Graphs). Example Consider the language L of strings, defined over Σ={a, b}, having (containing) triple a or triple b. Consider.
By Dr.Hamed Alrjoub. 1. Introduction to Computer Theory, by Daniel I. Cohen, John Wiley and Sons, Inc., 1991, Second Edition 2. Introduction to Languages.
Lecture 01: Theory of Automata:2013 Asif Nawaz Theory of Automata.
Recap Lecture 3 RE, Recursive definition of RE, defining languages by RE, { x}*, { x}+, {a+b}*, Language of strings having exactly one aa, Language of.
Lecture 17: Theory of Automata:2014 Context Free Grammars.
Recap lecture 5 Different notations of transition diagrams, languages of strings of even length, Odd length, starting with b, ending in a (with different.
Pumping Lemma.
Theory of Computation Lecture #
Lecture # 2.
Language Theory Module 03.1 COP4020 – Programming Language Concepts Dr. Manuel E. Bermudez.
Lecture 1 Theory of Automata
Theory of Automata.
Regular Expressions (Examples)
LANGUAGES Prepared by: Paridah Samsuri Dept. of Software Engineering
COP4620 – Programming Language Translators Dr. Manuel E. Bermudez
CSC312 Automata Theory Lecture # 4 Languages-III.
Recap Lecture-2 Kleene Star Closure, Plus operation, recursive definition of languages, INTEGER, EVEN, factorial, PALINDROME, {anbn}, languages of strings.
CSC312 Automata Theory Lecture # 5 Chapter # 4 Cont…
Recap Lecture-2 Kleene Star Closure, Plus operation, recursive definition of languages, INTEGER, EVEN, factorial, PALINDROME, {anbn}, languages of strings.
CSC312 Automata Theory Lecture # 3 Languages-II.
Welcome to ! Theory Of Automata Irum Feroz
Presentation transcript:

CSC312 Automata Theory Lecture # 3 Languages-II

Formal Language A formal language is a set of words—that is, strings of symbols drawn from a common alphabet. The word "formal” refers to the fact that all the rules for the language are explicitly stated in terms of what strings of symbols can occur. Language will be considered solely as symbols on paper and not as expressions of ideas in the minds of humans. The term "formal" used here emphasizes that it is the form of the string of symbols we are interested in, not the meaning. 2

3 Descriptive definition of Languages The language is defined, describing the conditions imposed on its words. Example: The language L of strings of odd length, defined over Σ={a}, can be written as L={a, aaa, aaaaa,…..} Example: The language L of strings that does not start with a, defined over Σ ={a,b,c}, can be written as L ={Λ, b, c, ba, bb, bc, ca, cb, cc, …}

Example:The language L of strings of length 2, defined over Σ ={0,1,2}, can be written as L={00, 01, 02,10, 11,12,20,21,22} Example: The language L of strings ending in 0, defined over Σ ={0,1}, can be written as L={0,00,10,000,010,100,110,…} Example:The language EQUAL, of strings with number of a’s equal to number of b’s, defined over Σ={a,b}, can be written as {Λ, ab, aabb, abab, baba, abba,…} 4 Descriptive definition of Languages

Example: The language EVEN-EVEN, of strings with even number of a’s and even number of b’s, defined over Σ={a,b}, can be written as {Λ, aa, bb, aaaa, aabb, abab, abba, baab, baba, bbaa, bbbb,…} Example: The language INTEGER, of strings defined over Σ={-,0,1,2,3,4,5,6,7,8,9}, can be written as INTEGER = {…,-2,-1,0,1,2,…} 5

Example: The language {a n b n }, of strings defined over Σ={a,b}, as {a n b n : n=1,2,3,…}, can be written as {ab, aabb, aaabbb,aaaabbbb,…} Example: The language {a n b n a n }, of strings defined over Σ={a,b}, as {a n b n a n : n=1,2,3,…}, can be written as {aba, aabbaa, aaabbbaaa,aaaabbbbaaaa,…} 6

Example: The language factorial, of strings defined over Σ={0,1,2,3,4,5,6,7,8,9} i.e. {1,2,6,24,120,…} Example: The language FACTORIAL, of strings defined over Σ={a}, as {a n! : n=1,2,3,…}, can be written as {a,aa,aaaaaa,…}. It is to be noted that the language FACTORIAL can be defined over any single letter alphabet. 7

Example: The language DOUBLEFACTORIAL, of strings defined over Σ={a, b}, as {a n! b n! : n=1,2,3,…}, can be written as {ab, aabb, aaaaaabbbbbb,…} Example: The language SQUARE, of strings defined over Σ={a}, as { : n=1,2,3,…}, can be written as {a, aaaa, aaaaaaaaa,…} 8

PALINDROME The language consisting of Λ and the strings s defined over Σ such that Rev(s)=s. It is to be noted that the words of PALINDROME are called palindromes. Example: For Σ={a,b}, PALINDROME={Λ, a, b, aa, bb, aaa, aba, bab, bbb,...} Remark: There are as many palindromes of length 2n as there are of length 2n-1. 9

10 Regular Expressions Ch # 4 by Cohen

11 Regular Expressions (REs) Any language-defining symbols generated according to some rule are called regular expressions OR a regular expression is a pattern describing a certain amount of text OR A regular expression represents a "pattern“; strings that match the pattern are in the language, strings that do not match the pattern are not in the language. Regular expressions describe regular languages.

REs Example: describes the language Example: describes the language Example: 12 Not a regular expression:

REs Here instead of applying Kleene Star Operation (KSO) over some set S, we shall straight away apply KSO on some alphabet say “a” and write it as “a*” which means a* =, a, aa, aaa, ……. And Kleene plus closure is a + = a, aa, aaa, ……. Where a + = aa* a* = + a + Note: Every RE contains concatenation, + operator “or”, Kleene Star Closure, Kleene Plus Closure and parenthesis only. 13

Courtesy Costas Busch - RPI14 Recursive Definition Are regular expressions Primitive regular expressions: Thus, if |Σ| = n, then there are n+2 primitive regular expressions defined over Σ. Given regular expressions and

15 Languages of Regular Expressions : language of regular expression Example: The languages defined by the primitive regular expressions are: (i) The primitive regular expression  denotes the language {}. There are no strings in this language. (ii) The primitive regular expression denotes the language { }. The only string in this language is the empty string. (iii) For each xЄΣ, the primitive regular expression x denotes the language {x}. That is, the only string in the language is the string "x".