Распространение (интуитивизм)
-
Определение и свойства функции распространения
- Функция распространения определяет множество допустимых последовательностей.
- Функция должна быть монотонной и удовлетворять определенным условиям.
-
Примеры спредов и поклонников
- Спреды включают последовательности четных чисел, целых чисел и допустимых команд терминала.
- Поклонники включают последовательности шахматных ходов, двоичные последовательности и последовательности букв.
-
Всеобщее и бинарное распространение
- Всеобщее распространение содержит все возможные последовательности.
- Бинарное распространение включает все двоичные последовательности.
-
Заправленные спреды
- Упорядоченное распределение, где функция спреда зависит от предыдущего элемента последовательности.
- Пример: последовательность целых чисел, где функция спреда равна предыдущему элементу, умноженному на 2 в степени минус текущий индекс.