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
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 ...
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
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.
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 ...
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
... 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.
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-.
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 ...
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. Open. Extract. Open with. Sign In. Main menu.
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-.
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
Submitted for the degree of Doctor of Philosophy. Heriot-Watt University. School of Mathematical and Computer Sciences. December, 2012. The copyright in this ...
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.