Рекуррентная формула в теории конечных автоматов применяется для определения последовательностей. 1 Это реализуется на основе совмещения переменных рекуррентной формы с элементами последовательности. 1

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

Ещё один пример применения рекуррентных формул в теории конечных автоматов — моделирование инвестиционных процессов. 3 Выходная последовательность и последовательность внутренних состояний задаются с помощью рекуррентных уравнений, которые описывают динамику модели. 3 Например, результат деятельности предприятия зависит не только от финансирования, но и от текущего состояния предприятия, которое также меняется на каждом шаге. 3