What is meant by transition graph in Theory of Automata and Formal Languages?

A. a proof tree for undecidability B. a graphical representation of states and transitions of an automaton C. a memory allocation table D. a database index structure