摘要： NFA:是不确定的有限自动机。DFA:确定的有限自动机。 S是有限状态集合。S代表的是状态,比如说0状态,1状态,a状态等等。 ∑是字母表,它的每一个元素都是输入字符。比如说从1状态到a状态,输入k字符可以转换状态,那么k就是输入字符。 f是一个函数,当前状态是S,输入一个a之后状态转换为S'.S' 阅读全文

摘要： 正规式是正则表达式，它是一种表示正规集的工具。 而且一个正规式它是对应于一个正规文法的。正规文法是3型文法。既然一个正规式对应一个正规文法，那么它们之间肯定是能够进行转换的。从正规文法转向正规式。规则2:A->xA|y有一个递归,递归体现在A->xA 三个规则涵盖了所有的情况,不是说一个式子里面套用 阅读全文

摘要： 文法是最重要的而且是最基础的。正规式和有穷自动机。 一个终结符不能为α。一个终结符是一个原子量,是不能再被分解的一个量。它是最终状态了，不能转换成其他状态了，也不能够用其他的几个量进行代替。终结符是不能单独在左边的。而非终结符恰恰相反。非终结符可以理解为可以拆分的元素。一个程序可以理解为非终结符。因 阅读全文