Which of the following correctly recognize the symbol ‘|-‘ in context to PDA?
(a) Moves
(b) transition function
(c) or/not symbol
(d) none of the mentioned
The question was asked in my homework.
My query is from From Grammars to Push Down Automata topic in chapter Push Down Automata of Automata Theory