Question 1
Which formal computational model possesses finite memory and is used to recognize Regular Languages?
Finite Automata (both Deterministic and Nondeterministic) have finite state memory and recognize the class of Regular Languages.
Which formal computational model possesses finite memory and is used to recognize Regular Languages?
Finite Automata (both Deterministic and Nondeterministic) have finite state memory and recognize the class of Regular Languages.
In a Deterministic Finite Automaton (DFA), defined as a 5-tuple $M = (Q$, $\Sigma , \delta , q0, F), what$ is the signature of the transition function $\delta$?
In a DFA, the transition function $\delta maps a single current state$ and input symbol to exactly one unique next state ($\delta$: Q $\times \Sigma → Q$).
In a Nondeterministic Finite Automaton (NFA), what is the signature of the transition function $\delta$?
In an NFA, $\delta maps a state$ and input symbol to a set of possible next states (element of the power set $2^Q)$.
If an NFA has 5 states excluding the initial state (i.e. 6 states in total), what is the maximum possible number of states in its converted equivalent DFA?
With 1 initial state + 5 other states = 6 total states in NFA, the converted DFA can have up to $2^6$ = 64 states in the power set construction.
For a DFA accepting binary numbers whose decimal equivalent is divisible by 3, how many states are required and what do the states represent?
Divisibility by 3 over binary numbers requires 3 states corresponding to modulo 3 remainders: remainder 0 (accepting), remainder 1, and remainder 2.