Разница между Мили и Муром

У вас есть механическая процедура преобразования одного формализма в другой, поэтому между ними нет структурной разницы.

Говоря о различиях в реализации, эти два формализма отличаются только выходной функцией, которая говорит вам, какой символ должен быть выведен. Конкретно:

1. В машине Мура вывод зависит только от текущего состояния.
2. В машине Мили вывод зависит от текущего состояния и текущего ввода.

машину Мура может быть немного проще реализовать, потому что у вас меньше информации для отслеживания, когда дело доходит до генерирования выходных данных, но разница будет очень небольшой.

Вот как будет выглядеть простая машина Мура на C:

int state = INITIAL;
while (!isTerminal(state)) {
    char input = nextInputSymbol();
    fprintf(output, "%c", nextOutputSymbol(state));
    state = nextState(state, input);
}

а вот машина Мили:

int state = INITIAL;
while (!isTerminal(state)) {
    char input = nextInputSymbol();
    fprintf(output, "%c", nextOutputSymbol(input, state));
    state = nextState(state, input);
}

как видите, единственная разница в определении nextOutputSymbol(). Является ли реализация указанной функции проще для того или иного формализма, это действительно зависит от конкретного приложения.

nextInputSymbol — это просто процедура для получения нового символа (может быть scanf или что-то подобное), а nextState будет зависеть от конкретной машины, но его сложность не сильно изменится между Мили и эквивалентным Муром.

В частности, и nextOutputSymbol, и nextState сводятся к поиску в таблице или к цепочке switch или if/else без каких-либо реальных трудностей реализации. Их просто скучно писать, правда.

ПРИМЕЧАНИЕ. Я пропустил проверку ошибок во фрагментах кода, чтобы мы сосредоточились на главном вопросе обсуждения. Код реального мира будет выполнять некоторые дополнительные проверки, такие как обработка EOF в nextInputSymbol или breaking в состояниях ошибки.

Машина Мура: вывод зависит только от текущего состояния. Машина Мили: вывод зависит как от текущего состояния, так и от текущего ввода.