Автоматическая последовательность действий

• Автоматические последовательности — это последовательности, которые могут быть описаны с помощью детерминированных автоматов. 
• Последовательность является k-автоматической, если она может быть описана с помощью k-автомата. 
• Доказательство и опровержение автоматичности последовательности может быть сложным. 
• Существуют полезные подходы к доказательству автоматичности последовательности, включая построение детерминированного автомата и проверку регулярности слоев. 
• 1-автоматические последовательности — это последовательности, n-й член которых зависит от унарной записи для n. 
• Автоматические последовательности устойчивы к изменениям в определении и входной последовательности. 
• Область действия автоматической последовательности может быть расширена с натуральных чисел до целых с помощью двусторонних автоматических последовательностей.