weixin_44337586的博客

本学期自动机主要就讲了图上这些东西第一部分先讲决定性的有限自动机Formal Definition of DFA 简称dfaq是有限状态集合，第二部分为有限输入符号集合，q0为起始状态，f为终止状态集合，第五部分为一个转移函数。dfa的例子。图表符号为以上表格例子划分语言DFA作为一个识别语言。dfa所代表的语言代表正则语言Regular language...

Regular Expression正则表达语法BASIS 1.  is a regular expression, denoting the languages {  }.3. For each a in  , a is a regular expression and denotes the language {a }.4.  is a regular expre...

Turing Machine图灵机与下推自动机类似，都有七个部分，不过栈的符号集合转变为taple集合，转移函数对taple进行操作，并且b是一个空字符，瞬时表如下图灵机接受的语言叫递归可枚举语言以上为递归语言的定义递归语言的性质乔布斯及语法的四种类型线程绑定的自动机，非确定性图灵机右线程语法左线程语法等价状态和可区分状态以上为第三章内容，主要讲解了图...