# 下推自動機

[目錄呈現與來源綁定資料](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [下推自動機](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-pushdown-automaton/)

nondeterministic PDA以有限控制、input與stack transitions運算，本輪固定讀完input且到final state接受。

atlas-pushdown-automaton · canonical_mko

[下推自動機](https://ocme.evemisslab.com/zh-Hant/mko/mko-pushdown-automaton/)

## 前置節點


- [抽象計算模型](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-computational-model/)
- [確定有限自動機](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-finite-automaton/)
- [數列](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-sequence/)
- [上下文無關文法](https://ocme.evemisslab.com/zh-Hant/atlas/atlas-context-free-grammar/)