Automata Theory | Set 4 Last Updated : 23 Jul, 2025 Comments Improve Suggest changes Like Article Like Report Following questions have been asked in GATE CS 2011 exam. 1) Let P be a regular language and Q be context-free language such that Q ⊆ P. (For example, let P be the language represented by the regular expression p*q* and Q be {pnqn|n ∈ N}). Then which of the following is ALWAYS regular? (A) P ∩ Q (B) P - Q (C) ∑* - P (D) ∑* - Q Answer (C) The expression ∑* - P represents complement of P which is a regular language. Complement of Regular languages is also regular. Then a DFA that accepts the complement of L, i.e. ∑* – L, can be obtained by swapping its accepting states with its non-accepting states. 2) Consider the language L1,L2,L3 as given below. L1={0p1q | p,q ∈ N} L2={0p1q| p,q ∈ N and p=q} L3={0p1q0r | p,q,r ∈N and p=q=r} Which of the following statements is NOT TRUE? (A) Push Down Automata (PDA) can be used to recognize L1 and L2 (B) L1 is a regular language (C) All the three languages are context free (D) Turing machine can be used to recognize all the three languages Answer (C) The language L3 is not context free. Refer this for more details. 3)Definition of a language L with alphabet {a} is given as following. L= { ank | k > 0, and n is a positive integer constant} What is the minimum number of states needed in a DFA to recognize L? (A) k+1 (B) n+1 (C) 2n+1 (D) 2k+1 Answer (B) Note that n is a constant and k is any positive integer. For example, if n is given as 3, then the DFA must be able to accept 3a, 6a, 9a, 12a, .. To build such a DFA, we need 4 states. Please see GATE Corner for all previous year paper/solutions/explanations, syllabus, important dates, notes, etc. Please write comments if you find any of the answers/explanations incorrect, or you want to share more information about the topics discussed above. Comment More infoAdvertise with us Next Article Automata Theory | Set 6 K kartik Follow Improve Article Tags : Theory of Computation GATE-CS-2011 AT Similar Reads Automata Theory | Set 2 Questions Asked in the GATE CS 2012 Exam1) What is the complement of the language accepted by the NFA shown below? Assume â = {a} and ε is the empty string (A) Φ (B) ε (C) a (D) {a, ε} Answer (B) Explanation: The given alphabet â contains only one symbol {a} and the given NFA accepts all strings wit 3 min read Automata Theory | Set 6 Following questions have been asked in GATE CS 2010 exam. 1) Let L={w ∈ (0 + 1)*|w has even number of 1s}, i.e. L is the set of all bit strings with even number of 1s. Which one of the regular expression below represents L? (A) (0*10*1)* (B) 0*(10*10*)* (C) 0*(10*1*)*0* (D) 0*1(10*1)*10* Answer 2 min read Automata Theory | Set 9 These questions for practice purpose for GATE CS Exam. Ques-1: Consider the following two statements with respect to Countability: Statement-1: If X union of 'Y' is uncountable, then both set 'X' and set 'Y' must be uncountable. Statement-2: The Cartesian product of two countable sets 'X' and 'Y' is 3 min read Automata Theory | Set 7 These questions are for practice purpose for GATE CS Exam.Ques-1 . Consider L= {(TM) | TM is the Turing machine that halts on all input and L(TM)= L' for some undecidable language L'}. Here, (TM) is the encoding of a Turing machine as a string over alphabet {0, 1} then L is:(A) decidable and recursi 3 min read Automata Theory | Set 7 These questions are for practice purpose for GATE CS Exam.Ques-1 . Consider L= {(TM) | TM is the Turing machine that halts on all input and L(TM)= L' for some undecidable language L'}. Here, (TM) is the encoding of a Turing machine as a string over alphabet {0, 1} then L is:(A) decidable and recursi 3 min read Automata Theory | Set 5 Following questions have been asked in GATE CS 2009 exam. 1) S --> aSa| bSb| a| b ;The language generated by the above grammar over the alphabet {a,b} is the set of (A) All palindromes. (B) All odd length palindromes. (C) Strings that begin and end with the same symbol (D) All even length palindrome 3 min read Like