![](https://img-blog.csdnimg.cn/20201014180756927.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
形式化方法
从流域到海域
此人不懒,但他除了干货什么都没有留下。
展开
-
一阶逻辑及其到Kripke Structure的转换
一阶逻辑(First-Order Logic) 一阶逻辑(FOL)又称谓词逻辑(Predicate Logic),在命题逻辑(Propositional logic)的基础上引入变量等概念,增加了量词∀和∃,因此允许量化陈述的公式。 (详见面向计算机科学的数理逻辑-系统建模与推理第二张) 反应系统(Reactive System) 反应系统需要和环境频繁的发生作用且不会停止,具有以下特性: ...原创 2018-09-23 11:36:41 · 2144 阅读 · 6 评论 -
Pushdown Automata Introduction
Basic Structure of PDA A pushdown automaton is a way to implement a context-free grammar in a similar way we design DFA for a regular grammar. A DFA can remember a finite amount of information, but a ...转载 2018-12-22 11:03:36 · 494 阅读 · 1 评论