摘要： 基础概念[编辑] 定义确定有限状态自动机 是由一个非空有限状态的集合 Q 一个输入字母表 Σ（非空有限字符的集合） 一个转移函数（单值映射） （例如：） 一个开始状态 一个接受状态（终结状态）的集合 所组成的5-元组。因此一个DFA可以写成这样的形式： 。[编辑] 非正式的语义确定有限状态自动机一个字符接一个字符的读入一个字符串 ，并根据给定的转移函数一步一步的转移至下一个状态。在读完该字符串后，如果该自动机停在一个属于F的接受状态，那么它就接受该字符串，反之则拒绝该字符串。[编辑] 扩展转移函数为了能够对DFA的命题进行证明，需要一个数学上的正式的语义定义。为此我们定义一个扩展的转 阅读全文

摘要： 在继承时采公开（public）继承的方式来继承一个类别时，父类别与子类别为"is-a"的关系，子类别继承父类别的公开（public）介面及受保护（protected）的成员，子类别是父类别的细化型态。 保护（protected）继承可以改变继承下来的基底类别成员权限，保护的意思就是让这些成员继承下来之后，保护它们仅能在类别与衍生类别中使用，保护继承的语法如下所示： class B : protected A { // 实作 };保护继承时使用protected来继承基底类别，继承下来的成员在衍生类别中的权限变为如下：基底类别衍生类别 private不继承 protectedprotected 阅读全文