形式下推自动机

[计] formal pushdown automaton

xíng shì xià tuī zì dòng jī ㄒㄧㄥˊ ㄕˋ ㄒㄧㄚˋ ㄊㄨㄟ ㄗˋ ㄉㄨㄥˋ ㄐㄧ