【发布时间】：2014-10-14 10:13:29
【问题描述】：
我读了一些关于自动机课程的笔记。我看到了这个说明，以下都是一样的。但我认为 L(g) 不等于 NFA 和正则表达式。任何人都可以帮助我定义这些数字的语言（nfa、正则表达式和语法）：
【问题讨论】：
标签： grammar context-free-grammar automata turing-machines automata-theory
【发布时间】：2014-10-14 10:13:29
【问题描述】：
它们实际上是等价的，但这是一种将一个转换为另一个的奇怪方式。
R 与(a|b)b* 相同。 M 识别 (a|b)(bb)*b?。右侧部分识别2*n+1 或2*n b，其中n>=0，因此等效于R。
现在G
A 识别(bb)*b?，相当于b*（参见M 的评论）。
B 识别 bB|bb*|e，它等同于 bB|b*，它等同于 b*。
S 识别 ab*b*|bb*b，它等同于 ab*|bbb*，它等同于 (a|bb)b*。
【讨论】：
-
你能补充一点吗？
-
感谢您的帮助。我又搞糊涂了：）你能写出每个人的语言吗？为什么你在 M 的末尾添加一个问号识别 (a|b)(bb)*b??谢谢。
-
等一下，回答你关于
G的问题。?仅表示 0 或 1 次重复。 -
谢谢，我同意，但请您澄清每种语言。谢谢。
-
你的意思是 S 和 R 是等价的，但 NFA 接受其他东西？