Наименьшее число переменных необходимых для кодирования синхронного автомата с N внутренними состояниями определяется по формуле:

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