regex - 这个 NFA 描述的语言是什么？

Question

使用 set builder 表示法，这个 NFA 描述的语言是什么？一开始我以为会是

L = { 1^n (01)^m 1^o | n,m,o >= 0} 但是这个 NFA 接受的字符串 101111101 不被我刚才描述的语言接受。

标签： regexregular-languageautomatafinite-automata

Answer 1

也许你可以用 set-builder 符号巧妙地做到这一点，如下所示：

L = {w0 w1 w2 … wk | k >= 0, wi in {1, 01}}

这不明确使用析取、并集、交集或 Kleene 星。