| |
Подловченко, Л.
Автоматно-полугрупповые модели программ [Текст] / Л. Подловченко
// Программирование. – 2006. – № 6. – 5-13.
В статье рассматриваются частного вида алгебраические модели программ. Их объектами являются схемы программ, построенные над базисом, состоящим из операторных символов и логических переменных, которые принимают значения 0 и 1 |
