Конечный автомат: различия между версиями

осталось то же самое проделать для выхода и извлечь чисто аналитическую модель автомата. Если автомат неполный вводим какое-то левое тупиковое e-значение состояния на единицу большее, чем мощность множества состояний, а само это состояние зацикливаем на самое себя при любом значении входа (то есть поступаем как обычно это делается).

Другое интересное наблюдение. Если мы распишем s(t+1) в ряд Тейлора, то получим для полинома конечную сумму. И таким образом извлекаем способ решения целого класса дифференциальных уравнений разного порядка. То есть теория конечных автоматов имеет прямое отношение и к этому вопросу. . Видимо прав таки Беркович.