SoftCraft
разноликое программирование

Отправная точка
Программирование
Windows API
Нейроинформатика
Парадигмы
Параллелизм
Проектирование
Теория
Техника кодирования
Трансляторы
Прочие вопросы

Разное

Беллетристика
Брюзжалки
Цели и задачи
Об авторе

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


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



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


Шалыто А.А. Автоматное проектирование программ. Алгоритмизация и программирование задач логического управления
Шалыто А.А., Туккель Н.И. SWITCH-технология: автоматный подход к созданию программного обеспечения "РЕАКТИВНЫХ" систем
Шалыто А. А. Реализация алгоритмов логического управления программами на языке функциональных блоков
Шалыто А. А. Алгоритмизация и программирование для систем логического управления и "реактивных" систем
Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 1
Шалыто А. А. Использование граф-схем и графов переходов при программной реализации алгоритмов логического управления. Часть 2
Шалыто А.А., Туккель Н.И. Программирование с явным выделением состояний
Шалыто А.А., Туккель Н.И. От тьюрингова программирования к автоматному
Шалыто А.А., Туккель Н.И. Реализация автоматов при программировании событийных систем
Шалыто А.А., Туккель Н.И., Шамгунов Н. Н. Ханойские башни и автоматы
Вавилов К. В. Программирование за... 1 (одну) минуту
Шалыто А.А., Туккель Н.И. Преобразование итеративных алгоритмов в автоматные
Озеров А.А. Четыре танкиста и компьютер
Шалыто А.А., Туккель Н.И., Шамгунов Н. Н. Задача о ходе коня
Шалыто А.А., Туккель Н.И. АВТОМАТЫ И ТАНКИ. Объектно-ориентированное программирование с явным выделением состояний
Шалыто А.А. Технология автоматного программирования
Туккель Н.И., Шалыто А.А., Шамгунов Н.Н. Реализация рекурсивных алгоритмов на основе автоматного подхода
Шалыто А.А. Об автоматизации "стиральных машин"
Шалыто А.А. Алгоритмизация и программирование задач логического управления
Казаков М.А., Корнеев Г.А., Шалыто А.А. Разработка логики визуализаторов алгоритмов на основе конечных автоматов
Мазин М.А., Шалыто А.А. Macromedia Flash и автоматы
Шопырин Д.Г., Шалыто А.А. Синхронное программирование
Корнеев Г. А., Шамгунов Н. Н., Шалыто А.А. Обход деревьев на основе автоматного подхода
Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А. State Machine — новый паттерн объектно-ориентированного проектирования
Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А. Паттерн State Machine. Внедрение. Сравнение с другими подходами
Беляев А. В., Суясов Д. И., Шалыто А. А. Компьютерная игра "Космонавт". Проектирование и реализация
Шамгунов Н. Н., Корнеев Г. А., Шалыто А.А. State Machine - расширение языка Java для эффективной реализации автоматов
Гуров В.С., Мазин М.А., Нарвский А.С., Шалыто А.А. UML. SWITCH-технология. Eclipse

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


Проекты


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


Кузнецов Б.П. Психология автоматного программирования
Кузнецов Б.П. Последовательно-событийные автоматы
Кузнецов Б.П. Распределенные конечные автоматы
Кузнецов Б.П. Структура и сложность модулей циклических программ
Кузнецов Б.П. Автоматное объектно-ориентированное проектирование типовых алгоритмов логического управления
Кузнецов Б.П. Экспоненциальные автоматы
Кузнецов Б.П. Конечные автоматы в виде булевых формул и их оптимизация
Кузнецов Б.П. Аналоговые триггеры
Кузнецов Б.П. Моделирование дискретных и непрерывных автоматов средствами электронных таблиц
Кузнецов Б.П. Настраиваемые автоматные программы
Зюбин В.Е., Петухов А.Д. Распределение вычислительных ресурсов в средах с многопоточной реализацией гипер-автомата
Зюбин В.Е. Язык Рефлекс - диалект Си для программируемых логических контроллеров
Зюбин В.Е. Гиперавтомат - математическая модель сложных алгоритмов управления
Зюбин В.Е. Программирование информационно-управляющих систем на основе конечных автоматов: учебное пособие

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


Любченко В.С. Конечно-автоматная технология программирования
Беляев М.В. Размерность программного пространства и модель триггера
Беляев М.В. P. S. Размерность программного пространства...
Любченко В.С. Искусство программирования ... RS-триггера?! Часть 1. Электронная схема и формальные модели
Любченко В.С. Искусство программирования ... RS-триггера?! Часть 2. Программирование
Любченко В.С. Искусство программирования ... RS-триггера?! Часть 3. Тест на синхронную работу
Ваганов С.А. Гипноз RS-триггера
Любченко В.С. Обедающие философы Дейкстры (о модели параллельных процессов)
Любченко В.С. О борьбе с рекурсией
Любченко В.С. Автоматные схемы программ ( С исторической ремаркой автора )
Любченко В.С. Задача о стрелках
Любченко В.С. Задача о преступниках
Любченко В.С. Автоматная реализация магазинных автоматов (на примере реализации автомата разбора строк вложенных скобок)
Любченко В.С. О проблемах RS-триггера (к решению одной параллельной задачи)
Любченко В.С. Открой свое созвездие или тест на воображение
Любченко В.С. К проблеме создания модели параллельных вычислений

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


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


Наумов Л.А., Шалыто А.А. Клеточные автоматы. Реализация и эксперименты
Наумов Л.А., Шалыто А.А. "Цветные" клеточные автоматы, или клонирование Мона Лизы
Бандман О.Л. Клеточно-автоматные модели пространственной динамики
Медведев Ю.Г. Некоторые применения трехмерной клеточно–автоматной модели потока вязкой жидкости RD-I

Статьи



prostitutka-krasnoyarsk.com/ankets/best