• 05.03.2002От тьюрингова программирования к автоматному
Работа посвящена преобразованию классической модели машины Тьюринга в
другую модель, обеспечивающую переход от тьюрингова программирования к
автоматному.
<
• 06.02.2002Функциональная модель параллельных вычислений и язык программирования "Пифагор"
В работе рассматривается функциональный язык параллельного программирования,
его модель вычислений, исполнительная среда. Приводятся примеры простейших
программ. Материал предназначен для любителей экзотики и сомнительных идей. • Автор: А.И. Легалов, Ф.А. Казаков, Д.А. Кузьмин, Д.В. Привалихин <
• 18.10.2002Функциональные языки программирования
Данная статья ставит своей целью дать читателю некоторое первоначальное представление о функциональных языках программирования. Информация, приведенная здесь, ни в коей мере не претендует на полноту и не является исчерпывающей. Это лишь введение, не более. • Автор: Михаил Плискин <
• 24.09.2002Размерность программного пространства и модель триггера
Статья является реакцией на публикации В.С. Любченко, посвященные автоматному
программированию, третьему измерению и модели триггера. Предлагается программа
моделирующая поведение триггера. Затрагивается использование параллелизма в программировании. • Автор: Беляев М.В. <
• 22.06.2002Распределенные конечные автоматы
Рассматривается алгоритм управления, заданный моделью конечного
автомата, распределенный по процессорам многопроцессорной системы. Предложен
способ декомпозиции таких автоматов. • Автор: Кузнецов Б.П. <
• 09.06.2002Последовательно-событийные автоматы
Рассматриваются программно реализуемые конечные автоматы с последовательным
вычислением событий, обуславливающих переходы. Представленная модель
весьма близко соответствует эквивалентной программной реализации. • Автор: Кузнецов Б.П. <
• 04.06.2002Процедурно-параметрическое программирование
Предлагается парадигма, определяющая новый стиль разработки программ.
В ее основе лежит параметрический полиморфизм, позволяющий процедурам
принимать и обрабатывать вариантные типы данных без дополнительного
алгоритмического анализа. Подход является развитием методов процедурного
программирования и может служить альтернативой объектно-ориентированному стилю. • Автор: Легалов А.И. <
