Synthesis of binary programs with predominance of branching commands
In this article, a model of binary programs that implement the logic algebra functions (Boolean functions) is considered. These programs consist of one or several modules, which include the following three types of commands: computational, branching, and procedure call commands. The model under stud...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Kazan Federal University
2021-12-01
|
Series: | Учёные записки Казанского университета: Серия Физико-математические науки |
Subjects: | |
Online Access: | https://kpfu.ru/uz-eng-phm-2021-3-4-4.html |