TOC · Automata & Languages interview questions

45 TOC · Automata & Languages questions from the Computer Science Fundamentals bank, written for Indian campus drives and tech interviews. Every question has a verified answer and an AI-tutor explanation on placd.

Sign up free to see every answer with its explanation and ask the AI tutor.

Practice TOC · Automata & Languages free

1. What is deterministic finite automaton (DFA)?

Junior
  1. A.a finite-state machine with exactly one transition per state and input symbol, accepting regular languages
  2. B.a pattern notation using union, concatenation, and star that exactly describes the regular languages
  3. C.an abstract model with an infinite tape and head that defines the limit of what is computable
  4. D.a finite, non-empty set of symbols from which strings of a language are formed

Answer + AI explanation with a free account

2. Which term means: "a finite-state machine with exactly one transition per state and input symbol, accepting regular languages"?

Junior
  1. A.nondeterministic finite automaton (NFA)
  2. B.undecidable problem
  3. C.pumping lemma
  4. D.deterministic finite automaton (DFA)

Answer + AI explanation with a free account

3. Which statement is correct?

Junior
  1. A.deterministic finite automaton (DFA) — a finite-state machine allowing multiple or epsilon transitions, equivalent in power to a DFA
  2. B.deterministic finite automaton (DFA) — a problem for which no algorithm can always halt with the correct answer, such as the halting problem
  3. C.deterministic finite automaton (DFA) — a finite-state machine with exactly one transition per state and input symbol, accepting regular languages
  4. D.deterministic finite automaton (DFA) — the four-level classification of grammars: type 0 recursively enumerable down to type 3 regular

Answer + AI explanation with a free account

4. What is nondeterministic finite automaton (NFA)?

Junior
  1. A.a finite-state machine allowing multiple or epsilon transitions, equivalent in power to a DFA
  2. B.a finite, non-empty set of symbols from which strings of a language are formed
  3. C.a pattern notation using union, concatenation, and star that exactly describes the regular languages
  4. D.the undecidable question of whether an arbitrary program will eventually stop on a given input

Answer + AI explanation with a free account

5. Which term means: "a finite-state machine allowing multiple or epsilon transitions, equivalent in power to a DFA"?

Junior
  1. A.nondeterministic finite automaton (NFA)
  2. B.decidable language
  3. C.pumping lemma
  4. D.Turing machine

Answer + AI explanation with a free account

6. Which statement is correct?

Junior
  1. A.nondeterministic finite automaton (NFA) — the undecidable question of whether an arbitrary program will eventually stop on a given input
  2. B.nondeterministic finite automaton (NFA) — the four-level classification of grammars: type 0 recursively enumerable down to type 3 regular
  3. C.nondeterministic finite automaton (NFA) — a finite-state machine allowing multiple or epsilon transitions, equivalent in power to a DFA
  4. D.nondeterministic finite automaton (NFA) — an abstract model with an infinite tape and head that defines the limit of what is computable

Answer + AI explanation with a free account

7. What is regular language?

Junior
  1. A.a problem for which no algorithm can always halt with the correct answer, such as the halting problem
  2. B.a language whose strings a Turing machine accepts, though it may loop forever on rejected strings
  3. C.a language for which a Turing machine always halts with a correct yes or no answer
  4. D.a language that can be recognized by a finite automaton and described by a regular expression

Answer + AI explanation with a free account

8. Which term means: "a language that can be recognized by a finite automaton and described by a regular expression"?

Junior
  1. A.recursively enumerable language
  2. B.regular language
  3. C.alphabet
  4. D.undecidable problem

Answer + AI explanation with a free account

9. Which statement is correct?

Junior
  1. A.regular language — an abstract model with an infinite tape and head that defines the limit of what is computable
  2. B.regular language — a language that can be recognized by a finite automaton and described by a regular expression
  3. C.regular language — a finite, non-empty set of symbols from which strings of a language are formed
  4. D.regular language — a grammar that allows some string to have more than one distinct parse tree

Answer + AI explanation with a free account

10. What is regular expression?

Junior
  1. A.a language for which a Turing machine always halts with a correct yes or no answer
  2. B.a finite automaton augmented with a stack, recognizing exactly the context-free languages
  3. C.a pattern notation using union, concatenation, and star that exactly describes the regular languages
  4. D.the undecidable question of whether an arbitrary program will eventually stop on a given input

Answer + AI explanation with a free account

11. Which term means: "a pattern notation using union, concatenation, and star that exactly describes the regular languages"?

Junior
  1. A.halting problem
  2. B.recursively enumerable language
  3. C.undecidable problem
  4. D.regular expression

Answer + AI explanation with a free account

12. Which statement is correct?

Junior
  1. A.regular expression — a finite, non-empty set of symbols from which strings of a language are formed
  2. B.regular expression — a finite automaton augmented with a stack, recognizing exactly the context-free languages
  3. C.regular expression — a pattern notation using union, concatenation, and star that exactly describes the regular languages
  4. D.regular expression — a grammar that allows some string to have more than one distinct parse tree

Answer + AI explanation with a free account

13. What is alphabet?

Junior
  1. A.a finite, non-empty set of symbols from which strings of a language are formed
  2. B.a pattern notation using union, concatenation, and star that exactly describes the regular languages
  3. C.a property every regular language must satisfy, used to prove certain languages are not regular
  4. D.the undecidable question of whether an arbitrary program will eventually stop on a given input

Answer + AI explanation with a free account

14. Which term means: "a finite, non-empty set of symbols from which strings of a language are formed"?

Junior
  1. A.recursively enumerable language
  2. B.pushdown automaton (PDA)
  3. C.alphabet
  4. D.regular expression

Answer + AI explanation with a free account

15. Which statement is correct?

Junior
  1. A.alphabet — a finite, non-empty set of symbols from which strings of a language are formed
  2. B.alphabet — a language that can be recognized by a finite automaton and described by a regular expression
  3. C.alphabet — a finite automaton augmented with a stack, recognizing exactly the context-free languages
  4. D.alphabet — a grammar that allows some string to have more than one distinct parse tree

Answer + AI explanation with a free account

16. What is context-free grammar (CFG)?

Mid
  1. A.a set of production rules with a single nonterminal on each left side, generating context-free languages
  2. B.a property every regular language must satisfy, used to prove certain languages are not regular
  3. C.a language whose strings a Turing machine accepts, though it may loop forever on rejected strings
  4. D.a pattern notation using union, concatenation, and star that exactly describes the regular languages

Answer + AI explanation with a free account

17. Which term means: "a set of production rules with a single nonterminal on each left side, generating context-free languages"?

Mid
  1. A.context-free grammar (CFG)
  2. B.nondeterministic finite automaton (NFA)
  3. C.ambiguous grammar
  4. D.Chomsky hierarchy

Answer + AI explanation with a free account

18. Which statement is correct?

Mid
  1. A.context-free grammar (CFG) — a pattern notation using union, concatenation, and star that exactly describes the regular languages
  2. B.context-free grammar (CFG) — a set of production rules with a single nonterminal on each left side, generating context-free languages
  3. C.context-free grammar (CFG) — the undecidable question of whether an arbitrary program will eventually stop on a given input
  4. D.context-free grammar (CFG) — the four-level classification of grammars: type 0 recursively enumerable down to type 3 regular

Answer + AI explanation with a free account

19. What is pushdown automaton (PDA)?

Mid
  1. A.a finite, non-empty set of symbols from which strings of a language are formed
  2. B.a language for which a Turing machine always halts with a correct yes or no answer
  3. C.a finite automaton augmented with a stack, recognizing exactly the context-free languages
  4. D.a language whose strings a Turing machine accepts, though it may loop forever on rejected strings

Answer + AI explanation with a free account

20. Which term means: "a finite automaton augmented with a stack, recognizing exactly the context-free languages"?

Mid
  1. A.pumping lemma
  2. B.context-free grammar (CFG)
  3. C.regular expression
  4. D.pushdown automaton (PDA)

Answer + AI explanation with a free account

21. Which statement is correct?

Mid
  1. A.pushdown automaton (PDA) — a finite automaton augmented with a stack, recognizing exactly the context-free languages
  2. B.pushdown automaton (PDA) — a property every regular language must satisfy, used to prove certain languages are not regular
  3. C.pushdown automaton (PDA) — a problem for which no algorithm can always halt with the correct answer, such as the halting problem
  4. D.pushdown automaton (PDA) — a pattern notation using union, concatenation, and star that exactly describes the regular languages

Answer + AI explanation with a free account

22. What is Turing machine?

Mid
  1. A.a pattern notation using union, concatenation, and star that exactly describes the regular languages
  2. B.the four-level classification of grammars: type 0 recursively enumerable down to type 3 regular
  3. C.a set of production rules with a single nonterminal on each left side, generating context-free languages
  4. D.an abstract model with an infinite tape and head that defines the limit of what is computable

Answer + AI explanation with a free account

23. Which term means: "an abstract model with an infinite tape and head that defines the limit of what is computable"?

Mid
  1. A.nondeterministic finite automaton (NFA)
  2. B.decidable language
  3. C.pushdown automaton (PDA)
  4. D.Turing machine

Answer + AI explanation with a free account

24. Which statement is correct?

Mid
  1. A.Turing machine — a language for which a Turing machine always halts with a correct yes or no answer
  2. B.Turing machine — a language that can be recognized by a finite automaton and described by a regular expression
  3. C.Turing machine — a property every regular language must satisfy, used to prove certain languages are not regular
  4. D.Turing machine — an abstract model with an infinite tape and head that defines the limit of what is computable

Answer + AI explanation with a free account

25. What is Chomsky hierarchy?

Mid
  1. A.the four-level classification of grammars: type 0 recursively enumerable down to type 3 regular
  2. B.a set of production rules with a single nonterminal on each left side, generating context-free languages
  3. C.a finite automaton augmented with a stack, recognizing exactly the context-free languages
  4. D.an abstract model with an infinite tape and head that defines the limit of what is computable

Answer + AI explanation with a free account

26. Which term means: "the four-level classification of grammars: type 0 recursively enumerable down to type 3 regular"?

Mid
  1. A.ambiguous grammar
  2. B.Chomsky hierarchy
  3. C.deterministic finite automaton (DFA)
  4. D.halting problem

Answer + AI explanation with a free account

27. Which statement is correct?

Mid
  1. A.Chomsky hierarchy — the four-level classification of grammars: type 0 recursively enumerable down to type 3 regular
  2. B.Chomsky hierarchy — a finite, non-empty set of symbols from which strings of a language are formed
  3. C.Chomsky hierarchy — a finite automaton augmented with a stack, recognizing exactly the context-free languages
  4. D.Chomsky hierarchy — a language for which a Turing machine always halts with a correct yes or no answer

Answer + AI explanation with a free account

28. What is ambiguous grammar?

Mid
  1. A.a grammar that allows some string to have more than one distinct parse tree
  2. B.a finite automaton augmented with a stack, recognizing exactly the context-free languages
  3. C.the four-level classification of grammars: type 0 recursively enumerable down to type 3 regular
  4. D.a property every regular language must satisfy, used to prove certain languages are not regular

Answer + AI explanation with a free account

29. Which term means: "a grammar that allows some string to have more than one distinct parse tree"?

Mid
  1. A.ambiguous grammar
  2. B.context-free grammar (CFG)
  3. C.pushdown automaton (PDA)
  4. D.regular expression

Answer + AI explanation with a free account

30. Which statement is correct?

Mid
  1. A.ambiguous grammar — an abstract model with an infinite tape and head that defines the limit of what is computable
  2. B.ambiguous grammar — a finite-state machine allowing multiple or epsilon transitions, equivalent in power to a DFA
  3. C.ambiguous grammar — a grammar that allows some string to have more than one distinct parse tree
  4. D.ambiguous grammar — a set of production rules with a single nonterminal on each left side, generating context-free languages

Answer + AI explanation with a free account

Showing 30 of 45 TOC · Automata & Languages questions — the full set, with answers, explanations and an AI tutor on every question, is inside.

Free to start

Answers, AI explanations, and a free readiness check

Sign up free to check your answers with explanations, ask the AI tutor anything on any question, and take the free 2-minute readiness check for a scored result. One full AI mock interview, scored like a real panel, is free when you sign up.

Practice TOC · Automata & Languages free
24,000+ questions & coding problemsSoftware & IT16,274 questionsGovernment jobs26 examsAptitudenew questions every timeAI practice interviewwith feedback65 topics to practiseMechanical1,149 questionsGATE ME9 papersEngineering Mathematics381 questions2-minute checkfreeDSA Problems1,422Civil1,005 questionsGATE CE9 papersCS Fundamentals1,209 questionsYour scores6 skillsSystem Design25Electrical / EEE1,047 questionsGATE EE9 papersRun your codeC++ · Java · PythonLow-Level Design144Electronics & Comm.975 questionsGATE EC9 papersAI help on every questionFull-Stack6,282Chemical1,005 questionsGATE CH9 papersAI whiteboardsystem designWork abroadEurope · remote · transfersESE ME1 paperGATE practice papers2019–2026ESE CE1 paperDate alertsbefore the last dateESE EE1 paperBehavioural courseHR round practiceESE ET1 paperResume optimizerProSSC JE ME1 paperApplication trackerSSC JE CE1 paperCompany-wise prepSSC JE EE1 paperRole roadmapsRRB JE1 subjectPriced in ₹UPI · cardsISRO SC1 paperGATE CS9 papersIBPS SO IT1 paperUGC NET CS1 paperSSC CGL26 papersIBPS PO26 papersRRB NTPC26 papersSSC CHSL26 papersIBPS Clerk26 papersSBI Clerk26 papersRRB Group D26 papersSSC CPO26 papersSSC GD26 papers