Paper 2, Section I, F
Part II, 2021
Assuming the definition of a deterministic finite-state automaton (DFA) , what is the extended transition function for ? Also assuming the definition of a nondeterministic finite-state automaton (NFA) , what is in this case?
Define the languages accepted by and , respectively, in terms of .
Given an NFA as above, describe the subset construction and show that the resulting DFA accepts the same language as . If has one accept state then how many does have?