• 12.04.2004Конечные автоматы в виде булевых формул и их оптимизация
Рассмотрены различные вычислительные модели булевых формул (БФ), алгоритмы взаимооднозначного преобразования форм представления БФ. Представлены статические и динамические критерии качества алгоритмов, выраженных БФ и методы их оптимизации путем целенаправленных перестановок аргументов, ориентированные на повышение качества алгоритмов по заданным критериям. • Автор: Кузнецов Б. П. <
• 29.02.2004Декларативное программирование. 6.1. Пролог
Разнообразие диалектов Пролога не столь велико, как у Лиспа и различия между ними не так существенны. Для определенности будем использовать SWI-Prolog, который, как почти все реализации в основном следует знаменитому эдинбургскому Прологу для DEC-10. • Автор: И.А. Дехтяренко <
• 23.02.2004Тестовое программирование (введение в проблему)
В статье (дискуссионного характера) предлагается начальная идея нового подхода к программированию Основной смысл статьи – заменить традиционное программирование новым взглядом на синтез тестов, по сути также описывающих алгоритм реализуемой задачи. • Автор: Б. П. Кузнецов <
• 11.02.2004Экспоненциальные автоматы
Однажды автор решил провести вычислительный эксперимент с моделью конечного автомата (RS-триггером), заменяя дискретные двоичные переменные на непрерывные, изменяющиеся в нормированном диапазоне от нуля до единицы, а знаки логических операций И, ИЛИ, НЕ - на знаки арифметических операций: умножение, сложение и дополнение до единицы, соответственно... • Автор: Б. П. Кузнецов <
• 08.02.2004Алгоритмизация и программирование задач логического управления
Подход, предлагаемый в работе, позволяет помочь участникам разработки систем управления: Заказчику, Разработчику, Программисту, Пользователю и Контролеру однозначно понимать, что должно быть сделано, что делается и что сделано в программно реализуемом проекте. Излагаемая технология названа SWITCH-технология, а соответствующая область программирования – автоматное программирование. • Автор: Шалыто А.А. <
• 04.02.2004Навстречу корректным программам (EWD241)
Перевод статьи Дейкстры (EWD241). Цель данного документа – отметить, какие вспомогательные средства для нашего интеллекта мы имеем в своем распоряжении для разработки и понимания алгоритмов, продемонстрировать некоторые приемы программирования ... • Автор: Alf <
• 29.01.2004Параллельные цифровые автоматы - 2. Подготовка к синтезу
В предыдущей статье я рассказал о понятии "параллельных цифровых автоматов" (ПЦА). Все там было так классно описано, а вот примера не было ни одного... Этот недостаток я решил исправить в данном опусе. • Автор: Александр Немченко <
• 20.01.2004Параллельные цифровые автоматы - основные понятия
Этот сайт посещают люди, которые не будут оспаривать ту мысль, что параллелизм помогает повысить производительность систем. Поэтому агитацию за пользу параллелизма опускаем :-). Также не оспаривается мысль о том, что автоматная технология позволяет достаточно эффективно реализовывать различные алгоритмы... • Автор: Александр Немченко <
