Find centralized, trusted content and collaborate around the technologies you use most.
Teams
Q&A for work
Connect and share knowledge within a single location that is structured and easy to search.
我读了一些关于自动机课程的笔记。我看到了这个说明,以下都是一样的。但我认为 L(g) 不等于 NFA 和正则表达式。任何人都可以帮助我定义这些数字的语言(nfa、正则表达式和语法):
它们实际上是等价的,但这是一种将一个转换为另一个的奇怪方式。
R是一样的(a|b)b*。M承认(a|b)(bb)*b?。右边部分识别2*n+1or 2*n b,其中n>=0,因此等价于R。
R
(a|b)b*
M
(a|b)(bb)*b?
2*n+1
2*n
b
n>=0
从今起G
G
A识别(bb)*b?,相当于b*(见评论M)。
A
(bb)*b?
b*
B识别bB|bb*|e哪个等价于bB|b*哪个等价于b*。
B
bB|bb*|e
bB|b*
S识别ab*b*|bb*b哪个等价于ab*|bbb*,哪个等价于(a|bb)b*。
S
ab*b*|bb*b
ab*|bbb*
(a|bb)b*