Which of the following represents the State Diagram?

• A. The finite automaton initial state is designated by a special initial pseudo-state depicted as a large black dot at the tail of an arrow pointing at the initial state
• B. A finite automaton may execute forever or it may halt in a final state
• C. Transitions are represented by solid arrows labeled with one or more transition strings that describe the circumstances under which the transition is triggered and the actions that may ensue
• D. All of the mentioned