Другие виды автоматов - Разработка недетерминированных программных систем на осн Т триггер таблица истинности