Использование теории автоматов в программировании

Основные темы раздела

Автоматное проектирование и программирование.
SWITCH-технология

Шалыто А.А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления (2001)

Шалыто А.А., Туккель Н.И. SWITCH-технология: автоматный подход к созданию программного обеспечения "РЕАКТИВНЫХ" систем (2001)

Шалыто А. А. Реализация алгоритмов логического управления программами на языке функциональных блоков (2001)

Шалыто А. А. Алгоритмизация и программирование для систем логического управления и "реактивных" систем (2001)

Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 1 (1996)

Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 2 (1996)

Шалыто А.А., Туккель Н.И. Программирование с явным выделением состояний (2001)

Шалыто А.А., Туккель Н.И. От тьюрингова программирования к автоматному (2002)

Шалыто А.А., Туккель Н.И. Реализация автоматов при программировании событийных систем (2002)

Шалыто А.А., Туккель Н.И., Шамгунов Н. Н. Ханойские башни и автоматы (2002)

Вавилов К. В. Программирование за... 1 (одну) минуту (2002)

Шалыто А.А., Туккель Н.И. Преобразование итеративных алгоритмов в автоматные (2002)

Озеров А.А. Четыре танкиста и компьютер (2002)

Шалыто А.А., Туккель Н.И., Шамгунов Н. Н. Задача о ходе коня (2003)

Шалыто А.А., Туккель Н.И. АВТОМАТЫ И ТАНКИ. Объектно-ориентированное программирование с явным выделением состояний (2003)

Шалыто А.А. Технология автоматного программирования (2003)

Туккель Н.И., Шалыто А.А., Шамгунов Н.Н. Реализация рекурсивных алгоритмов на основе автоматного подхода (2003)

Шалыто А.А. Об автоматизации "стиральных машин" (2003)

Шалыто А.А. Алгоритмизация и программирование задач логического управления (2003)

Казаков М.А., Корнеев Г.А., Шалыто А.А. Разработка логики визуализаторов алгоритмов на основе конечных автоматов (2003)

Мазин М.А., Шалыто А.А. Macromedia Flash и автоматы (2004)

Шопырин Д.Г., Шалыто А.А. Синхронное программирование (2004)

Корнеев Г. А., Шамгунов Н. Н., Шалыто А.А. Обход деревьев на основе автоматного подхода (2004)

Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А. State Machine — новый паттерн объектно-ориентированного проектирования (2004)

Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А. Паттерн State Machine. Внедрение. Сравнение с другими подходами (2004)

Беляев А. В., Суясов Д. И., Шалыто А. А. Компьютерная игра "Космонавт". Проектирование и реализация (2004)

Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А. State Machine - расширение языка Java для эффективной реализации автоматов (2004)

Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UML. SWITCH-технология. Eclipse (2005)

Рецензии на работы по автоматному программированию и SWITCH-технологии

• Р. Герр. Новый поворот (2001)

• Р. Богатырев. Об автоматном и асинхронном программировании (2001)

• А. Лашманкин. Возрождение автоматов (2001)

• Г. И. Рузайкин. Взгляд на алгоритмы (2001)

• Д. Гориловский. Рецензия на книгу Шалыто А. А. "Логическое управление. Методы аппаратной и программной реализации алгоритмов" (2001)

Проекты

• Шалыто А.А., Туккель Н.И., Верба М.Т. Пример программной документации на подсистему управления печатью к статье SWITCH-технология: автоматный подход к созданию программного обеспечения "РЕАКТИВНЫХ" систем (в формате pdf) (2001)

• Туккель Н.И., Шалыто А.А., Ваганов С.А. Использование SWITCH-технологии при разработке программ в среде "FLORA/C+" (модель технологического процесса в цехе холодной прокатки) (2001)

• Туккель Н.И., Шалыто А.А. Система управления танком для игры Robocode. Объектно-ориентированное программирование с явным выделением состояний (2001)

• Туккель Н.И., Шалыто А.А. Система управления дизель-генератором (фрагмент). Программирование с явным выделением состояний (2002)

• Головешин А. Использование конвертора Visio2SWITCH (2002)

• Южаков Е. М. Построение автономного виртуального робота на основе автоматного подхода (на примере игры «CodeRally», предложенной на Java Challenge туре чемпионата мира по программированию по версии ACM 2003 г.) (2003)

• Штучкин А.А., Шалыто А.А. Совместное использование теории построения компиляторов и SWITCH-технологии (на примере построения калькулятора) (2002)

Техника программирования с использованием автоматов

Кузнецов Б.П. Психология автоматного программирования (2000)

Кузнецов Б.П. Последовательно-событийные автоматы (2001)

Кузнецов Б.П. Распределенные конечные автоматы (2000)

Кузнецов Б.П. Структура и сложность модулей циклических программ (2001)

Кузнецов Б.П. Автоматное объектно-ориентированное проектирование типовых алгоритмов логического управления (2002)

Кузнецов Б.П. Экспоненциальные автоматы (2003)

Кузнецов Б.П. Конечные автоматы в виде булевых формул и их оптимизация (2003)

Кузнецов Б.П. Аналоговые триггеры (2005)

Кузнецов Б.П. Моделирование дискретных и непрерывных автоматов средствами электронных таблиц (2005)

Кузнецов Б.П. Настраиваемые автоматные программы (2006)

Зюбин В.Е., Петухов А.Д. Распределение вычислительных ресурсов в средах с многопоточной реализацией гипер-автомата (2004)

Зюбин В.Е. Язык Рефлекс - диалект Си для программируемых логических контроллеров (2005)

Зюбин В.Е. Гиперавтомат - математическая модель сложных алгоритмов управления (2006)

Зюбин В.Е. Программирование информационно-управляющих систем на основе конечных автоматов: учебное пособие (2005)

КА-технология

Любченко В.С. Конечно-автоматная технология программирования (2001)

Беляев М.В. Размерность программного пространства и модель триггера (2001)

Беляев М.В. P. S. Размерность программного пространства... (2001)

Любченко В.С. Искусство программирования ... RS-триггера?! Часть 1. Электронная схема и формальные модели (2002)

Любченко В.С. Искусство программирования ... RS-триггера?! Часть 2. Программирование (2002)

Любченко В.С. Искусство программирования ... RS-триггера?! Часть 3. Тест на синхронную работу (2002)

Ваганов С.А. Гипноз RS-триггера (2002)

Любченко В.С. Обедающие философы Дейкстры (о модели параллельных процессов) (2002)

Любченко В.С. О борьбе с рекурсией (2002)

Любченко В.С. Автоматные схемы программ ( С исторической ремаркой автора ) (2002)

Любченко В.С. Задача о стрелках (2003)

Любченко В.С. Задача о преступниках (2003)

Любченко В.С. Автоматная реализация магазинных автоматов (на примере реализации автомата разбора строк вложенных скобок) (2003)

Любченко В.С. О проблемах RS-триггера (к решению одной параллельной задачи) (2003)

Любченко В.С. Открой свое созвездие или тест на воображение (2005)

Любченко В.С. К проблеме создания модели параллельных вычислений (2006)

Библиотеки и примеры программ В.С. Любченко, раскрывающие его понимание автоматного программирования

• Библиотеки, используемые для моделирования параллельной работы автоматов.
• Авторский пример решения задачи "о новобранцах" (последняя версия) к статье, опубликованной в журнале Мир ПК, 2001, № 8 и № 9.
• Примеры программ из статьи "О борьбе с рекурсией" плюс решение задачи о ханойской башне.
• Упрощенный вариант решения задачи стрелков Майхилла. Создан для сравнения с аналогичным решением А.А. Шалыто.
• Модель RS-триггера в инерпретации автора.
• Исходные тексты программ, демонстрирующих решение задачи о преступниках
• Программы, демонстрирующие сортировку с использованием автоматов.
• Модель микроволновой печи.
• Моделирование асинхронного суммирования данных с использованием КА-технологии.

Клеточные автоматы

Наумов Л.А., Шалыто А.А. Клеточные автоматы. Реализация и эксперименты (2003)

Наумов Л.А., Шалыто А.А. "Цветные" клеточные автоматы, или клонирование Мона Лизы (2004)

Бандман О.Л. Клеточно-автоматные модели пространственной динамики (2005)

Медведев Ю.Г. Некоторые применения трехмерной клеточно–автоматной модели потока вязкой жидкости RD-I (2005)