pushdown-automaton

Formal description of PDA


I remember how to do a formal description of an FSM, but doing one for a PDA looks a little different. Can anyone help explain the circled part? I normally take good notes, but can't seem to find anything on this in my notebook or anywhere else. Any help is appreciated. enter image description here


Solution

  • They are your transitions as the diagram shows. Have a look here.