generalized pushdown automaton 📖 中文释义 [计] 广义下推自动机 ← generalized programming generalized query-language →