JE – 933

*JE933*

IV Semester B.E. (CSE/ISE) Degree Examination, June/July 2013 (2K11 Scheme) C1 – 45 : FINITE AUTOMATA AND FORMAL LANGUAGE Time : 3 Hours

Max. Marks : 100

Instruction : Answer any five questions selecting atleast 2 from each Part. PART – A 1. a) Define the following terms : i) Alphabet iii) Language

4 ii) String iv) Automata

b) Define DFA, design DFA for the following language on a’s and b’s i) that will accept all strings that have different first and last letters. ii) string not containing the substring a and b. iii) string that begins or end with “aa” or “bb”. iv) string consisting the starting symbol as ‘a’ and ending symbol as ‘b’.

8

c) Distinguish between NFA and DFA with examples.

4

d) Find Grammar for the language over ∑ = (a, b) L = {na (ω) ≠ nb (ω)}.

4

2. a) What are application of finite automata ? b) Construct the NFA for given ∈-NFA then convert the resultant NFA into its equivalent DFA.

4 10

c) Find a regular expression for the language i) L = {ω : ω mod 3 = 0} ∗ ii) L = {ω ∈ {a, b} : na (ω) is even nb(ω) is odd }

{

}

iii) L = a n bm, n ≥ 4, m ≤ 3

6

P.T.O.

JE – 933

*JE933*

-2-

3. a) Prove that regular languages are closed under complementation. b) State and prove pumming lemma for regular language.

5

c) Find minimized DFA for the following.

δ

a

b

A

B

F

B

G

C

*C

A

C

D

C

G

E

H

F

F

C

G

G

G

E

H

G

C

5 10

4. a) Consider a grammar shown below from which any arithmetic expressions can be obtained. E→ E + E E → E–E E → E*E E → E/E E → id

6

Show that grammar is ambigious for the sentence id + id * id.

{

}

b) Define CF. Construct CFG for the language, L = anbm : n ≠ m .

6

c) Consider the Grammar G. with production S → AbB A → aA/ ∈ B → aB/bB/∈ Give left most-derivation tree and right most-derivation tree for the string aaa bab. d) Define context-free-grammar with example.

6 2

*JE933*

-3-

JE – 933

PART – B 5. a) Define NPDA, DPDA with an example and distinguish between them.

6

b) Construct an NPDA for the language L = {ω ∈ { a, b }*, na (ω) = nb(ω)}.

8

c) Construct PDA equivalent to the following grammar

6

δ → aAA / b A → aδ / bδ / a .

6. a) Eliminate the useless symbols from the following grammar S → AS/CD/bB/A A → aA/a B → bB/bC G → eB D → dD/d.

7

b) Convert the given grammar into GNF

7

S → AB 1/0 A → 00A/B B → |A|. c) What is Chomsky normal form ? Convert the following grammar into Chomsky normal form. S → ABa A → aab B → AC.

6

7. a) Define Twing machine. Design Twing machine to accept the

{

}

Language L = anbncn | n ≥ 1 .

8

b) Define recursive language, recursively enumerable language and universal language.

6

c) Define a multi-tape twing machine. Show it can be simulated using single tape twing machine.

6

JE – 933

-4-

*JE933*

8. a) Define Post’s correspondence problem and solve the following PCP. List A

List B

i

wi

xi

1

11

111

2

100

001

3

111

11

b) Show that the following PCP has no solution. i

wi

xi

1

10

101

2

011

11

3

101 011

c) Write a note on semi-tape Turing machine.

———————

8

8

4

FINITE AUOTOMATA AND FORMAL LANGUAGE.pdf

FINITE AUOTOMATA AND FORMAL LANGUAGE.pdf. FINITE AUOTOMATA AND FORMAL LANGUAGE.pdf. Open. Extract. Open with. Sign In. Main menu.

455KB Sizes 1 Downloads 184 Views

Recommend Documents

formal, functional and perceptual regions!
Functional regions are defined by a system of interactions.! !!Picture a bicycle wheel with a central axel in the middle of the wheel, which represents the center of ...

Psycholinguistics, formal grammars, and ... - Linguistics Network
Linguists have long debated what the best system for describ- ing and explaining ... In some ways, it is ironic that other schools of linguistics that explicitly refer to ..... them out, and more importantly, until recently, no sensitive online measu

Emailing- Formal and Informal Phrases - UsingEnglish.com
Classify and rank the formal and informal business email phrases. Dear Sir or Madam ... Thank you for your email yesterday. ... Hope you had a good weekend.

FORTEST: Formal Methods and Testing
requires the application of a battery of such techniques. Two of the most ...... ization of existing testing criteria [54] to help eliminate mis- understanding and in the ...

Recognition, validation and accreditation of non-formal and ... - unesdoc
Japanese Ministry of Euducation, Culture, Sports, Science and Technology. MHLW. Japanese Ministry of Health, ... UNESCO. United Nations Educational, Scientific and Cultural Organization. UVM .... Co-operation and Development (OECD, 2015) and the Euro

Formal Letter 71_Form.pdf
l1Joj,C,5 &+. CJ$S. -. gr"g.,.r}tt5+ O997,;o.r $o-;o !S .f. Ogg ,:1rl.r 4J Jl- g &t S 39s .t. u,SotoS 6;V .rsii'ii#$ -o. ,J:"J ,J+l-r.!" gio'1Lrj .1. FJtj / -)6 gJ_J',' .v UsS- ot+ elS.

Formal Letter 71_Form.pdf
d-F dl4 ) .th:$ a:\ ouLi"E 3a^u -#'l Y .fu';:Kio_2 eiJ.s:le . (&'-l ,6ao-) .rf$.4a; + d/,,"J) crjCfu ./uj ,ri-'.,lJi 6a-"Ulj-,,lr o. Jdii il-.',.3jr + ojl_2 6aji9 ) : , pl-Fl-l al O::$ csJY d-rlJ--ry . (y;r"U 6a^Ul3;,r-rUiaj-,ora-r J4*, 4+ d.ri.r".Jy

Ph.D Issued By Open University And That By Formal Conventional ...
... ranked first, Dr. Abdul. Motin stood second and Dr. Mani Shankar Maity stood. third. Since Dr. Bhattacharya refused to accept the. offer of appointment for the said post, the Commission. recommended the name of Dr. Abdul Motin who ranked second.

Safety-Critical Systems, Formal Methods and Standards
such systems in particular, abound today as the software crisis increasingly a ..... For a recent comprehensive market study of safety-related computer ..... In 31, 32], Cohn presents proofs in HOL 52] relating the top speci cation with the host ma-.

Hybrid Formal Power Series and Their Application to ...
Centrum voor Wiskunde en Informatica (CWI). P.O.Box 94079 ... Partial realization theory If the number of available data points is big enough and the family of ...

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 ...

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.

Balance ^creativity and ^practicality in formal planning
long-range planning system must achieve a com- promise between ... ter reeeiving his MBA at the Harvard Business School last spring ... international accounting firm of Artbur Andersen ..... companies that we selected as a small but repre-.

Lieb–Thirring Inequalities for Finite and In- finite Gap ...
If dist(x, Ai) ≥ mbi and Gn = (αn,βn), we have βn − αn αn − x. ≤ gi+n bi+n + mbi. ≤. 2εi+n c + m2n. (4.51) and. ∑ j: (αj ,βj )⊂Fn βj − αj αj − x. ≤. 1 bi+n + mbi. ∑ j>n ..... [13] R. Killip and B. Simon, Sum rules for

Invariant Discovery and Refinement Plans for Formal ...
Submitted for the degree of Doctor of Philosophy. Heriot-Watt University. School of Mathematical and Computer Sciences. December, 2012. The copyright in this ...

Hybrid Formal Power Series and Their Application to ...
In this paper we shall develop the theory of rational hybrid formal power series . ..... Define the functions ˜δ : Q × Γ∗ → Q and ˜λ : Q × Γ∗ → O as follows. Let.