Я использую этот метод для перехода от состояния к следующему на этом симуляторе автомата: public void processString (String string){ StringBuilder stepString= new StringBuilder (string); int actualStateIntIndex; System.out.println("THE...

Моя цель - реализовать функцию перехода в OCaml, которая принимает на вход состояние, а символ возвращает положительную логическую формулу (включая true и false). То есть: \delta(q0,a) = q1 и (q2 или q3) моя проблема заключается в том, как...

У меня есть это упражнение для домашнего задания: Скажем, у нас есть язык L. Мы знаем, что язык pref(L) (все префиксы L , включая все слова в самом L ) является обычным языком. Означает ли это, что язык L также является регулярным?...

Имея NFA, есть ли способ определить, принимает ли он все строки, составленные из его алфавита, без необходимости перебирать бесконечное множество возможных строк?