Критерий ограниченной детерминированности функций, задаваемых автоматами

В работе установлен критерий конечности числа состояний автомата, задающего детерминированную функцию. Критерий сформулирован в терминах формальных степенных рядов.
Работа поддержана Российским фондом фундаментальных исследований (номер проекта 12-01-00680-а).