pushdown音标
英 ['pʊʃdəʊn]
美 ['pʊʃdoʊn]
pushdown翻译
释义
下推存储器;
英英释义
Pushdown
Pushdown on a cable machine
以上来源于:Wikipedia
pushdown用法
权威例句
Visibly pushdown languages
Visibly pushdown languages
Pushdown Processes: Games and Model Checking
Pushdown processes: Games and model checking
Model-Checking Pushdown Systems
Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis
Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
Efficient Algorithms for Model Checking Pushdown Systems
Efficient Algorithms for Model Checking Pushdown Systems
A Direct Symbolic Approach to Model Checking Pushdown Systems (extended abstract)