B. Tech. (SEM. IV) THEORY EXAMINATION 2010-11 THEORY OF AUTOl\IATA AND FORl\lAL LANGUAGES Note:-

(1) Attempt ALL questions. (2)

All questions carry equal marks.

(3)

Notations/Symbolsl Abbreviations

used have

usual meaning. Make suitable assumptions, wherever required. 1.

Attempt any two parts of the following: (a)

,

Define Nondeterministic finite automata (!'rFA).Design;. a deterministic finite automata (DFA) ov..erL: = ~a,t>} with minimum number of states which accepts aU the strings .

"' ••

-1>.

~

that ends with babb. (b)

Define'Mealy

machine. Convert the following M
machine into equivalent Mealy machine: Present State

!

Next State

Output

Input 0

Input 1

qo

ql

Y

·ql

qz

N

Gz

C4

q3 . qo

q3

ql

qz

N

q4

q3

C4

N

~qo

N

(c)

Write the steps for minimizing the states in a DFA. Minimize the number of states in the following DFA : Present

Next State

State

Input O·

Input 1

ql

q3

qt q2 .

qo

q3

qt

~

q3

qs

qs

~

q3

q3

~qo

qs

qs qs Given that q3 and qs are final stateS. Attempt any four parts of the following: (a)

Write the regular languages:

expression

for the following

(i)

The set of all strings oro's and 1's in which every 0 is followed by 11.

. (ii)

The set of all strings of O's and 1's. in which the number ofO's is even. ., '

.-.

(b)

Obtain the Nl'-A without epsiloil transition corresponding to the follO\ving regular expression: 00(0* + 1*)* 11. Obt?.in the regular expression

for the following finite

automata having Cia and G2 as final states :

r"-- N~!

I

Ill1 n, I

rp;~~ent §t~tf:

p

Input

I

T'-'~~~r~-1 J

;

2

I

b

qo

I

'-h

. qo

I

ql.J

(d)

Prove that if Land

M are regular

languages

then

intersection of Land M is also regular langauge. (e)

Discuss the Chomsky hierarchy of the languages.

(f)

Prove that every language defined by a regular expression is also accepted by some finite automata.

3.

Attempt any two parts of the following: (a)

State the pumping lemma for regular expressions. Use the pumping lemma to prove that the language L is not regular. L is defined as follows:

L == {on Fn I n is nOl~-negative integers}. (b)

Convert the following grammar into Greibach N0TI11al

9 ••. Form

(GNF) : S-+AAjO A-+ SS 11 What do you understand by ambiguous granul1ar ? .

~ t

Show that the following gramma~is mJli2iguous : . S-+S+SIS*Sla (ii)

Simplif)! the following context free granunar to an equivalent context free grammar that do not have

any :;seless symbol, null production production : S -> aSa I bSb

IE

A-~ aBb I bBa

B ~ aB ibB!

E

S is the start symbol.

and unit

4.

Attempt any two pads of the foilowing : (a)

Define Push Do\,:n Automata (PDA). Construct a PDA which accepts the language Lgivell by: L = {am b" mn

(b)

1m

and

11

are non~negativc integer.::}.

Obtain a context free grammar that generates the langauge accepted (by final state) by the NPDAwith following transitions· : B( qo' a, Z) B(qo'

=

{(qo' AZ)}

a, A) = {(qo' !")}

= {(ql' E)} Z) = {(q2' E)}

S(qo' b, A) b(qj'

E,

go is the initial state and q2 is the final state. (c)

(i)

Construct a Push Down Automata that accepts the language generated by the grammar with following productions : S~aSAla A--'jo bB

B~b (ii)

5.

Prove that context free languages are closed under star -c1bsure,

Attempt any two parts of the following: (a)

Define Turing machine. Design a Turing machine that accepts the language L over {a, b, c} defined (,. follows: L= {wcwlw

E

(a+b)*}.

(b)

Discuss various variations of Turing machine.

(c)

(i)

Write short notes on the halting problem of Turing machine.

(ii)

Differentiate between recursive recursively enumerable language.

language

and

## UPTU B.Tech TCS-405 Theory of Automata and Formal Language ...

UPTU B.Tech TCS-405 Theory of Automata and Formal Language Sem 4_2010-11.pdf. UPTU B.Tech TCS-405 Theory of Automata and Formal Language Sem ...

#### Recommend Documents

Formal Language & Automata Theory Jan 2016 (2010 Scheme).pdf ...
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Formal ...

PDF Download Theory Of Computation: Formal Languages, Automata, And Complexity By J. Glenn Brookshear Full Ebook,PDF Free Theory Of Computation: ...

Introduction to Automata Theory and Formal Languages.pdf ...
... Modern computer science: compilers,. computational & complexity theory evolve. Page 4 of 25. Introduction to Automata Theory and Formal Languages.pdf.

CSE-V-FORMAL LANGUAGES AND AUTOMATA THEORY [10CS56 ...
Page 1 of 125. FLAT 10CS56. CITSTUDENTS.IN Page 1. FORMAL LANGUAGES AND AUTOMATA THEORY. Subject Code: 10CS56. Hours/Week : 04.

formal languages and automata theory by apuntambekar pdf free ...

GNDEC B.Tech CSE 4th Year 2009 Formal Language & Automata ...
c) What do you understand by context sensitive grammars? d) What ... Displaying GNDEC B.Tech CSE 4th Year 2009 Formal Language & Automata Theory.pdf.

An-Introduction-Formal-Languages-Automata-1284077241-ebook.pdf
Page 1 of 4. AXY8GCZQD9 - [Read Online] An Introduction to Formal Languages and Automata... An Introduction to Formal Languages and. Automata. by Peter ...

PDF Introduction To Formal Languages And Automata ...
... and Thomas C Sheahan Download Introduction to Courses offered by the Department of Computer Science are listed under the subject code CS on the Stanford Bulletin s ExploreCourses web site The Department of Courses .... Book Detail.

formal languages and automata peter linz solutions pdf
formal languages and automata peter linz solutions pdf. formal languages and automata peter linz solutions pdf. Open. Extract. Open with. Sign In. Main menu.

PdF Review An Introduction to Formal Languages and Automata Full ...
PDF Download an introduction to formal languages and automata Books For ... the first was full Introduction to Automata Theory Languages An Introduction to ...

Mathematical and theoretical biology is an interdisciplinary scientific research field with a range of applications The field is sometimes called mathematical Issuu ...

pdf-1469\automata-computability-and-complexity-theory-and ...
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item.

[PDF] Read Automata, Computability and Complexity: Theory and ...

Improving the natural language translation of formal ...
Dec 9, 2004 - suggestions and continuous assistance throughout my thesis work. Due to his ...... introduction to the areas of study that are the basis of this thesis. 1.1 Language ..... A significant part of this thesis deals with how these OCL funct

Factor Automata of Automata and Applications - NYU Computer Science
file, for a large set of strings represented by a finite automaton. ..... suffix-unique, each string accepted by A must end with a distinct symbol ai, i = 1,...,Nstr. Each ...

Type-Theory-And-Formal-Proof-An-Introduction.pdf
Downloading these totally free Type Theory And Formal Proof: An Introduction ebooks. may possibly make book publishers sad over their lost earnings however ...

... logic with precisely zero courses o ered on logic computability theory Formal Number Theory ... A Workbook (Oxford Logic Guides) eBook Popular,read online Formal Number Theory and .... Publisher : Oxford University Press 1982-09-23 q.

Activity Theory in Formal and Informal Science Education - book.pdf ...
There was a problem previewing this document. Retrying... Download. Connect more apps... Try one of the apps below to open or edit this item. Activity Theory ...

UPTU B.Tech Information Theory and Coding- NEC-408 Sem ...
(e) Conpare and confrast Huftnan coding and arittrmetic. coding. (Following Paper ID and RoII No. to be filled in your. AnswerBool\$). 1337 t8425. Page 1 of 4 ...

[PDF] Introduction to Automata Theory, Languages, and ...
Introduction to Automata Theory Languages and Computation is an influential Hopcroft John ..... assessment tool developed for the computer science discipline.

CS 133 : Automata Theory and Computability Lecture ...
CS 133 : Automata Theory and Computability. Lecture Slides. 1. Time Complexity Classes. Nestine Hope S. Hernandez. Algorithms and Complexity Laboratory. Department of Computer Science. University of the Philippines, Diliman [email protected]

CS 133 : Automata Theory and Computability
Definition. Let M be a deterministic Turing machine that halts on all inputs. The running time or time complexity of M is the function f : N â N, where f(n) is the ...

PdF Introduction to Automata Theory, Languages, and ...
... of social and political sciences Although recently social network analysis has In ... and Computation (3rd Edition), epub free Introduction to Automata Theory, ...

pdf Automata, Computability and Complexity: Theory ...
Select a trial membership to give us a try. ... finite state machines, Markov models, hidden Markov models (HMMs), regular expressions, context-free grammars, ...