Я прочитал текстовый файл символов, состояний и переходов и поместил все это в таблицу. Выглядит это следующим образом: символы a, b состояния q1, q2, q3, q4 начальное состояние q4 конечное состояние q2, q3 переходное состояние: q4, эпсилон, q1...

Хорошо известно, как перейти от НКА для обычного языка к минимальному ДКА. Однако DFA может иметь экспоненциально большее количество состояний. Что мне нужно, так это способ уменьшить NFA, дав снова NFA, но с меньшим числом состояний. Т.и. Мне...

Дан L1 контекстно-свободный нерегулярный язык. Учитывая обычный язык L2. Возможно ли, что L1 U L2 = обычный язык? Кроме того, возможно ли, что L1 * L2 = обычный язык? Я думаю, что 2-й невозможен. Но я не уверен. Хотелось бы увидеть пример,...

Может ли каждое состояние быть конечным при построении детерминированных автоматов с выталкиванием вниз? У меня возникли проблемы, в частности, с созданием DPDA, который принимает следующий язык: L = { 0 n 1 m | п ≥ м} Мой подход состоит в...

Привет, я пытаюсь создать тип данных, который я могу использовать, состоящий только из двух символов (0,1). Я делаю это, чтобы ограничить алфавит в моем алгоритме строк конечных автоматов. Я программирую на C, поэтому мне было интересно, как я могу...

Я работаю над вопросом в конце главы о том, сколько существует различных машин Мура с n состояниями. Где n = количество состояний, m = количество входных букв и q = количество выходных символов, верно ли, что существует n*q^m возможных машин? Я...

Практикуя некоторые DFA и NFA, я наткнулся на этот. Не уверен, как дать описание на английском языке, не говоря уже о регулярном выражении.

Функции регулярных выражений POSIX компилируют регулярные выражения в недетерминированные конечные автоматы (NFA). Одна из проблем заключается в том, что во время компиляции невозможно определить, будут ли эти автоматы использовать чрезмерное...

Как можно решить для двух заданных ДКА A1 и A2, является ли L (A1) = L (A2)? Я не знаю, как подступиться к этой проблеме и с чего начать.