finite-automata

Предположим, что у меня есть два детерминированных автомата конечного состояния, представленных следующими диаграммами переходов: FSA для ключевого слова IF: IF ___ ___ _ / I / F // \ >| 0 |----->| 1 |----->||2|| ___/ ___/ \_// FSA для идентификатора: [...

На этот вопрос уже есть ответ здесь: Существует ли регулярное выражение для обнаружения допустимого регулярного выражения? 8 ответов Мне интересно, существует ли такое регулярное выражение, которое определяет все в...

Я использую JFLAP для преобразования DFA в RE для языка "четные a и нечетные b" Этот последний шаг не ясен мне, как показано на рисунке, как он получает этот окончательный RE Окончательный RE ((ab(bb)*ba+aa)*(ab(bb)*a+b)(a(bb)*a)*(a(bb)*ba+b))*(ab(bb)*ba+aa)*(ab(bb)*a+b)(a(bb)*a)* Моя путаница ...

Предположим, у меня есть DFA с алфавитом {0,1}, который в основном принимает любые строки, пока нет последовательных 0 (не более одного 0 за раз). Как мне выразить это в математической нотации? Я имел в виду любое число 1, за которым следует либо один, либо ни одного 0, а затем любое число 1..... но никак не...

Из любопытства я пытаюсь определить, какая модель вычислений системы, с которой я работаю, функционально эквивалентна, и доказать эквивалентность. Чем дольше я трачу на эту проблему, тем больше подозреваю, что система не эквивалентна системе Тьюринга. Я хорошо разбираюсь в машинах Тьюринга и рекурсивно-пере...

нам нужно реализовать простую машину состояний в C. Является ли стандартный оператор switch лучшим способом? У нас есть текущее состояние (state) и триггер для перехода. switch(state) { case STATE_1: state = DoState1(transition); break; case STATE_2: state = DoState2(transition); bre...