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