这个 NFA 描述的语言是什么?

What is the Language described by this NFA?

使用集合生成器表示法,这个 NFA 描述的语言是什么? 一开始我以为会是

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

也许你可以用集合生成器的符号来做,如下所示:

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

这没有明确使用析取、并集、交集或 Kleene 星号。