Лекция 2

Транзитивное замыкание отношения ⊢. Функции f* и δ*.

Пример: модель детектора направления вращений цилиндрического вала. Пример: двоичный сумматор.