Комбинационные примитивы

В комбинационных примитивах, выход определяется как функция от текущего состояния входа. При любых изменениях входного состояния, выход вычисляется по соответствующей имеющейся строке в таблице функции примитива.

Комбинационные примитивы имеют один набор значений для каждого входного состояния, и соответствующее поле для значения выхода. Поле для записи значений входов отделяется от поля выхода двоеточием. Каждая строка таблицы завершается точкой с запятой. Например, следующая таблица состояний описывает три входа с нулевыми состояниями, и нулевой выход.