6 HAT Implications（暗示、启示） With an understanding of which semantics are H...

UML核心视图包括两类。 静态视图：用例图、类图、包图 动态视图：活动图、状态图、时序图、协作图 4.1 静态视图 表达静态事务，描述事物的静态...

3.1 版型 类型、构造型 “接口”、“边界类”、“实体类”、“控制类”等都是类的版型，甚至“参与者”本身也是一个特殊的类的版型。 参与者 以人...

认识一些基础概念 2.1 建模 通过对客观事物建立一种抽象的方法用以表征事务并获得对事物本身的理解，同时把这种理解概念化，将这些逻辑概念组织起来...

1.1 面向过程还是面向对象 这种认识论 帮助我们构造更为复杂的系统来解释越来越复杂的现实世界 1.1.1 面向过程方法 1.1.2 面向过程的...

定理3.6 任一上下下文无关文法都可以用乔姆斯基范式的上下文无关文法产生。 证明思路 能够把任一上下文无关文法G转换成乔姆斯基范式。转换分几个阶...

每一台NFA都有一台等价的DFA 设是识别语言A的NFA，要构造一套DFA M 识别A。再给出完整的构造之前，先考虑比较容易的情况，假设N没有箭...

可规约性： 一个基本方法，可用来证明问题是计算上不可解的。规约是将一个问题转化为另一个问题的方法，使得可以用第二个问题的解来解第一个问题。 如从...