I realized that one could consider such transition diagrams to be a form of pushdown-store automaton.
we could generalize finite-state transition diagrams to pushdown-store automata by allowing nonterminal symbols on transitions.