它接受与上下文无关(context-free)的语法，构造用于解析的下推自动机(pushdown automaton)。运行这个自动机，就得到了一个特定语言的解析器。
基于2823个网页-相关网页
... 发电输出自动控制 automatic generation control 后进先出自动机 pushdown automaton; pushdown automata 出自 act; claus; derive ...
基于1个网页-相关网页
embedded pushdown automaton 嵌入下推自动机
deterministic pushdown automaton [自] 确定性下推自动机
simple pushdown automaton [计] 简单下推自动机
generalized pushdown automaton [自] 广义下推自动机
non-determinate pushdown automaton 非确定下推自动机
normal form pushdown automaton 正规形式下推自动机
fuzzy attributed pushdown automaton fuzzy属性下推自动机
biomolecular pushdown automaton 分子下推自动机
max-product fuzzy pushdown automaton 最大乘积型Fuzzy下推自动机
The basic idea of the model framework is to model program to a pushdown automaton (PDA), to represents security attributes to a finite-state automaton (FSA). Safety attribute refers to wrong operation sequence that violates safe programming rules.
该模型的基本思想是,将程序建模成为一个下推自动机(PDA),将安全属性建模为一个有穷状态自动机(FSA),安全属性是指违背安全编程规则的错误操作序列。
参考来源 - 软件漏洞模型检验技术的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
应用推荐