BSU Bulletin. Mathematics, Informatics
Bibliographic description:
, Description digital circuits using λ-expression // BSU Bulletin. Mathematics, Informatics. - 2016. №3. . - С. 72-79.
Title:
Description digital circuits using λ-expression
Financing:
Codes:
Annotation:
The article proposes a methodology for the description of digital circuits us- ing mathematical apparatus λ-calculus. Defines the main rules for executing descriptions of circuits. Stand out basic elements and their descriptions. Based on the descriptions of the basic circuit elements is constructed of a λ-expression that allows to describe the schema of different levels of difficulty.
In this work the examples describe combinational and sequential digital cir- cuits by using λ-expressions, which hierarchically can be attributed to the second level of complexity. Contains a proof of the correctness of the obtained descriptions by using truth tables and the operation of the reduction for λ- expressions.
In this work the examples describe combinational and sequential digital cir- cuits by using λ-expressions, which hierarchically can be attributed to the second level of complexity. Contains a proof of the correctness of the obtained descriptions by using truth tables and the operation of the reduction for λ- expressions.
Keywords:
digital circuits, λ-expressions, description schemes.
List of references:
1. Vol'fengagen V. Je., Jacuk V. Ja. Applikativnye vychislitel'nye sistemy i
konceptual'nyj metod proektirovanija sistem znanij / Pod. red. prof. L. A. Ma- jborody. — M.: Min-vo Oborony SSSR, 1987. — 256 s.
2. Zubchuk V. I., Sigorskij V. P., Shkuro A. N. Spravochnik po cifrovoj shemotehnike. — K.: Tjehnika, 1990. — 448 s.
3. Mal'cev A. I. Algoritmy i rekursivnye funkcii. — 2-e izd. —M.: Nauka., gl. red. fiz.-mat. lit., 1986. — 368 s.
konceptual'nyj metod proektirovanija sistem znanij / Pod. red. prof. L. A. Ma- jborody. — M.: Min-vo Oborony SSSR, 1987. — 256 s.
2. Zubchuk V. I., Sigorskij V. P., Shkuro A. N. Spravochnik po cifrovoj shemotehnike. — K.: Tjehnika, 1990. — 448 s.
3. Mal'cev A. I. Algoritmy i rekursivnye funkcii. — 2-e izd. —M.: Nauka., gl. red. fiz.-mat. lit., 1986. — 368 s.
Article.pdf