這個 NFA 描述的語言是什么？

Question

使用 set builder 表示法，這個 NFA 描述的語言是什么？ 一開始我以為會是

L = { 1^n (01)^m 1^o | n,m,o >= 0} 但是這個 NFA 接受的字符串 101111101 並沒有被我剛才描述的語言接受。

Answer 1

也許你可以用 set-builder 符號巧妙地做到這一點，如下所示：

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

這不會明確使用析取、聯合、交集或 Kleene 星。