理学 形式模型 释 pushdown automata 下推自动机 自动机理论中定义的一种抽象计算模型。可理解为带栈的有限状态自动机。
push-down automaton 下推自动机
理论计算机科学 形式语言与自动机 释文 pushdown automation 下推自动机
- fundamental astrometry
- fundamental astronomical constant
- fundamental astronomy
- fundamental attribution error
- fundamental basis
- fundamental bass
- fundamental bond
- fundamental bracket
- Fundamental Catalogue
- fundamental cell
- fundamental circle
- fundamental circuit
- fundamental class
- fundamental cocycle
- fundamental cohomology class
- fundamental combinant
- fundamental commutation relations
- fundamental component
- fundamental concept
- fundamental conjecture
- fundamental conjecture; Hauptvermutung
- fundamental constant
- fundamental construction
- fundamental construction problem
- fundamental constructive sequence