下推自动机﹙PDA﹚是自动机理论中定义的一种抽象的计算模型。下推自动机比有限状态自动机复杂：除了有限状态组成部分外，还包括一个长度不受限制的栈；下推自动机的状态迁移不但要参考有限状态部分，也要参照栈当前的状态；状态迁移不但包括有限状态的变迁，还包括一个栈的出栈或入栈过程。
它接受与上下文无关(context-free)的语法，构造用于解析的下推自动机(pushdown automaton)。运行这个自动机，就得到了一个特定语言的解析器。
基于3042个网页-相关网页
提出了基于Lukasiewicz逻辑的下推自动机（l-VPDA）的概念，从代数角度研究了此类自动机的性质，同时建立此类自动机的代数刻画，即利用模糊状态构造，证明了任意以终状态方式接受模...
基于16个网页-相关网页
工作描述了一种确定性的背景下（DCF）中的文法推断一个使用递归神经网络下推自动机（NNPDA）的联结主义范式。 NNPDA由一个连接到一个外部堆栈存储器通过一个共同的误差函数的递归神经网络。
基于8个网页-相关网页
确定性下推自动机 [自] deterministic pushdown automaton ; DPDA
随机下推自动机 [计] stochastic pushdown automata
简单下推自动机 [计] simple pushdown automaton
确定的下推自动机 deterministic push-down automato ; DPDA
标准形式下推自动机 normal form PDA
形式下推自动机 formal push-down automaton ; formal push-down automation
广义下推自动机 [自] generalized pushdown automaton
非确定下推自动机 non-determinate pushdown automaton
不确定下推自动机 [自] non-deterministic push-down automaton
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
应用推荐