Как конечный автомат выполняет деление?
Я беру курс по моделям вычислений, и в настоящее время мы делаем конечные автоматы. Одна из моих задач - вытащить ФСМ, который выполняет деление на 3; чтобы упростить модель, машина принимает только числа, кратные 3. Я не уверен, как именно это работает, тем более что я представляю, что FSM выдает только единичные двоичные значения. Не могли бы вы, ребята, привести примеры (деление на 2 или 4) или советы о том, как к этому подойти?
1 ответ
Решение
Это то, что вам нужно, я думаю (извините за плохую картинку). 'E' представляет эпсилон / лямбда / без вывода. Метка ребер обозначает "ввод / вывод". Для каждого прочитанного символа также имеется соответствующий вывод, который может быть лямбда (без вывода).