public interface Pda<STATE,STACKITEM> extends Nfa<STATE>
STACKITEM
getPop(STATE state)
getPush(STATE state)
getStart, getStop
getFollowers
STACKITEM getPop(STATE state)
STACKITEM getPush(STATE state)