一些NFA&正规语言&等价

时间:2014-10-14 10:13:30

标签: grammar context-free-grammar automata turing-machines automata-theory

我读了一些关于自动机课程的说明。我看到这个说明,跟随一切都是一样的。但我认为L(g)不等于NFA和正则表达式。任何人都可以帮我定义这些数字的语言(nfa,正则表达式和语法):

enter image description here

1 个答案:

答案 0 :(得分:0)

它们实际上是等价的,但这是将一个转换为另一个的奇怪方式。

R(a|b)b*相同。 M认可(a|b)(bb)*b?。正确的部分会识别2*n+12*n b' s,其中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*