构造文法和有限自动机识别字符串 参考答案 一段静穆的时光。
形式语言与自动机理论
编译原理中，自动机究竟是什么.
我要做一个课程设计《基于正则文法的自动机生成系统》，我完成系统建模，应该怎么建？ 拖动自动机显示画面中各个节点的位置节点之间的转移关系弧线应随着节点移动各个节点的位置应随着自动机被保存和装入使用说明书：界面说明、人机交互方法解决方案、设计思想、系统框架的概述案例文档：角色说明、案例说明（事件流）、案例图、静态模型：类图、类文档（属性、方法）
为什么上下文无关文法，可以用下推自动机来识别？ 一直不太理解！ 学习一下编译原理。推荐清华大学的张素琴〈编译原理〉那本书，貌似第四章是讲这个的。这个状态转换图很好理解的，大概看下就行了，不过里面有化简的部分稍微复杂一些。看那本书应该可以搞懂。
【编译原理】构造下述文法G[S]的确定有限自动机，并给出该文法的语言的正规表达式 S->Aa|ε A->Aa|Sb|a 通过联立方程组求正规表达式：A=Aa|Sb|a=Aa|(Aa|ε)b|a=Aa+(Aa+ε)b+a=Aa+(Aab+b)+a=Aa+Aab+b+a=A(a+ab)+(b+a)根据方程X=Xt+r 必有X=t*r解的论断，可得A=(a+ab)*(b+a)，进而可求得：S=Aa|ε=Aa+ε=Aa=(a+ab)*(b+a)a=(a|ab)*(b|a)a即文法的正规表达式为：(a|ab)*(b|a)a。注意：以上求解的过程中“|”和“+”是等价的，都表示“或”的意思，它们的相互替换是为了描述的方便。
是否存在这样的语言：它们能够被确定的有限自动机和正规文法识别，但是不能用正规式表示。（) A．存在 B．不 B
从正则文法构造又穷状态自动机‘ 输入：任意的正则文法。 输出：相应的又穷状态自动机。 public abstract class RegularExpressionConverter{protected RegularExpressionConverter(){ }public T Convert(RegularExpression expression){if(expression=null){return default(T)；}return expression.Accept(this)；}public abstract T ConvertAlternation(AlternationExpression exp)；public abstract T ConvertSymbol(SymbolExpression exp)；public abstract T ConvertEmpty(EmptyExpression exp)；public abstract T ConvertConcatenation(ConcatenationExpression exp)；public abstract T ConvertAlternationCharSet(AlternationCharSetExpression exp)；public abstract T ConvertStringLiteral(StringLiteralExpression exp)；public abstract T ConvertKleeneStar(KleeneStarExpression exp)；}然后我们给RegularExpression类加上一个Accept抽象方法，让其子类分别实现。比如，KleeneStarExpression类的Accept就可以写成这样：internal override T Accept(RegularExpressionConverter<；T>；converter){return converter.ConvertKleeneStar(this)；}最后我们实现一个NFAConverter，实现抽象类RegularExpressionConverter。其中NFAModel是我们自己定义的NFA。
为什么上下文无关文法，可以用下推自动机来识别？ 一直不太理解！ 你这里是写错了吗应该是结合上下文的内容去做分析有的时候可以通过后文
