Question 21
What is the minimum number of states in a DFA accepting octal numbers divisible by 3?
Divisibility by 3 in base 8 (octal) depends on modulo 3 arithmetic, requiring 3 remainder states: 0, 1, and 2.
What is the minimum number of states in a DFA accepting octal numbers divisible by 3?
Divisibility by 3 in base 8 (octal) depends on modulo 3 arithmetic, requiring 3 remainder states: 0, 1, and 2.
What is a 'Dead State' (or Trap State) in a Finite Automaton?
Once execution enters a trap/dead state, it can never reach any final accepting state regardless of subsequent input symbols.
How many total states are required in a minimal DFA to accept the single word 'automata'?
Recognizing a specific fixed string of length L = 8 ('automata') requires L + 1 = 9 states (q0 through q8) plus a dead state for invalid transitions.
Which decision property for regular languages determines whether a given DFA accepts at least one string or accepts no strings at all?
The Emptiness decision problem checks whether there exists any reachable path from the start state q0 to any final state in the DFA graph.
Is the Equivalence Problem ('Are two DFAs M1 and M2 accepting the exact same language L(M1) = L(M2)?') Decidable?
DFA equivalence is decidable by constructing the symmetric difference DFA and testing it for emptiness.