Which of the following represents 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