Q. Every finite automaton specification must contain which of the following? (Solved)

1. descriptions of the automaton’s states in a way that allows them to be distinguished, such as by naming each one;

2. descriptions of transitions indicating each transition’s source state, its target state, and the events that trigger it;

3. designation of an initial state, the starting place for state transitions