Описание цифровых схем с помощью λ-выражений
Автор: Ярышкина Наталья Владимировна, Могнонов Птр Борисович
Журнал: Вестник Бурятского государственного университета. Математика, информатика @vestnik-bsu-maths
Рубрика: Математическое моделирование и обработка данных
Статья в выпуске: 3, 2016 года.
Бесплатный доступ
В статье предлагается методика описания цифровых схем с использованием математического аппарата λ-исчисления. Определяются основные правила выполнения описаний схем. Выделяются базовые элементы и их описания. На основе описаний базовых элементов схем строится λ-выражение, позволяющие описывать схемы различных уровней сложности. В работе разбираются примеры описания комбинационных и последовательностных цифровых схем с помощью λ-выражений, которые иерархически можно отнести к второму уровню сложности. Приводится доказательство правильности полученных описаний с помощью таблиц истинности и операции λ-редукции выражений.
Цифровые схемы, λ-выражения, описание схем
Короткий адрес: https://sciup.org/14835193
IDR: 14835193 | DOI: 10.18101/2304-5728-2016-3-72-79
Список литературы Описание цифровых схем с помощью λ-выражений
- Вольфенгаген В. Э., Яцук В. Я. Аппликативные вычислительные системы и концептуальный метод проектирования систем знаний/Под. ред. проф. Л. А. Майбороды. -М.: Мин-во Обороны СССР, 1987. -256 с.
- Зубчук В. И., Сигорский В. П., Шкуро А. Н. Справочник по цифровой схемотехнике. -К.: Тэхника, 1990. -448 с.
- Мальцев А. И. Алгоритмы и рекурсивные функции. -2-е изд. -М.: Наука., гл. ред. физ.-мат. лит., 1986. -368 с.
