Шкалированный автомат, являясь формальной семантикой моделирующего алгоритма, вычисляет функцию вида:

К сожалению, у нас пока нет статистики ответов на данный вопрос, но мы работаем над этим.