13 810
правок
Изменения
→Управляющие системы
* Управляющая система — типа задаёт поведение некоторой системы.
* '''Опр.''' элементарные конъюнкции, ДНФ, КНФ; формула; эквивалентные формулы; КС; эквивалентные КС (⇔ эквив. все формулы); СФЭ; [[rupedia:Абстрактный автомат|автомат]]; [[rupedia:Машина Тьюринга|МТ]] (ДМТ, НМТ?).
* Операторные алгоритмы — последовательность приказов, приказ = операция + два номера других приказа (ветвление определён / не определён), либо «СТОП».
* Основные задачи:
*# Синтез минимальных по сложности систем.
