Используя нотацию построителя множеств, какой язык описан в этом NFA? Сначала я подумал, что это будет
L = {1 ^ n (01) ^ m 1 ^ o | n, m, o> = 0} Но тогда строка 101111101, принятая этим NFA, не принимается языком, который я только что описал.
Возможно, вы можете сделать это аккуратно следующим образом:
L = {w0 w1 w2 … wk | k >= 0, wi in {1, 01}}
Это явно не использует дизъюнкцию, объединение, пересечение или звезду Клини.
