形式化方法
关注
分享
扫一扫
从流域到海域
此人不懒，但他除了干货什么都没有留下。
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
一阶逻辑及其到Kripke Structure的转换
一阶逻辑(First-Order Logic)一阶逻辑(FOL)又称谓词逻辑(Predicate Logic)，在命题逻辑(Propositional logic)的基础上引入变量等概念，增加了量词∀和∃，因此允许量化陈述的公式。(详见面向计算机科学的数理逻辑-系统建模与推理第二张)反应系统(Reactive System)反应系统需要和环境频繁的发生作用且不会停止，具有以下特性：...原创 2018-09-23 11:36:41 · 2308 阅读 · 6 评论 -
Pushdown Automata Introduction
Basic Structure of PDAA 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 · 562 阅读 · 1 评论