Система севенций

[ponedelnik]

Помогите, плиз, с такой задачкой

$f = ab v bc$

Система секвенций - ?

v - дизъюнкция

[Xaositect]

Сначала скажите, что такое система секвенций.
Я такого термина не встречал.

[luitzen]

Я так понял, что «система секвенций» — это способ задания автомата определённого типа.
А $f = ab \lor bc$ — это автомат этого типа, заданный каким-то другим способом.

[ponedelnik]

Xaositect в сообщении #218545 писал(а):

Сначала скажите, что такое система секвенций.
Я такого термина не встречал.

Честно говоря сам не знаю, мне такой вопрос на зачете задали по мат. основам теории конечных автоматов, подозреваю, что это какая-то запись функции в секвенциальной форме