1
GATE CSE 2009
+2
-0.6
$$L = {L_1} \cap {L_2}$$ where $${L_1}$$ and $${L_2}$$ are languages defined as follows.
$${L_1} = \left\{ {{a^m}{b^m}\,c\,{a^n}{b^n}\left| {m,n \ge 0} \right.} \right\}$$
$${L_2} = \left\{ {{a^i}{b^i}{c^k}\left| {i,j,k \ge 0} \right.} \right\}$$ Then $$L$$ is
A
Not recursive
B
Regular
C
Context free but not regular
D
Recursively enumerable but not context free
2
GATE CSE 2009
+2
-0.6 The above $$DFA$$ accepts the set of all strings over $$\left\{ {0,\,\,1} \right\}$$ that

A
Begin either with $$0$$ or $$1$$
B
End with $$0$$
C
End with $$00.$$
D
Contain the substring $$00.$$
3
GATE CSE 2008
+2
-0.6
Given below are two finite state automata ($$\to$$ indicates the start state and $$F$$ indicates a final state)  Which of the following represents the product automation $$ZY$$?

A B C D 4
GATE CSE 2008
+2
-0.6
Match the following $$NFAs$$ with the regular expressions they correspond to     A
$$P - 2,\,Q - 1,\,R - 3,\,S - 4$$
B
$$P - 1,\,Q - 3,\,R - 2,\,S - 4$$
C
$$P - 1,\,Q - 2,\,R - 3,\,S - 4$$
D
$$P - 3,\,Q - 2,\,R - 1,\,S - 4$$
GATE CSE Subjects
Theory of Computation
Operating Systems
Algorithms
Digital Logic
Database Management System
Data Structures
Computer Networks
Software Engineering
Compiler Design
Web Technologies
General Aptitude
Discrete Mathematics
Programming Languages
Computer Organization
EXAM MAP
Joint Entrance Examination