Детерминант конечных автоматов (JFLAP) задача не может быть решена
Я начал получать некоторые практики от Jflap, и я нашел следующую задачу:
L = {w ∈ {a, b, c}*| w-ben bc2^n+1a, bc2^n+1b not part of word, where n>=0 and |w|a MODULO 3 }
Вторая часть проста, и я также создал первую часть:
Я не уверен во второй части.
А как создать из них я не могу решить.
Есть ли у вас какие-либо идеи?