Конечные автоматы без памяти (комбинационные)

Общая формула, описывающая этот вид автоматов:

, i = 1, 2, …, k.

– в векторной форме

Пример 1.

Примером таких автоматов является простая экспертная система профессиональной пригодности, где входные значения – это ответы на n вопросов, а выходные – k выводов о том, может ли человек работать в данной области.

Пример 2.

Диагностика неисправностей, заболеваний и т. д.

Пример 3.

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

.

На языке Pascal оператор присваивания, соответствующий этой формуле:

Для более сложной модели получается структура типа запись:

Type

Prep = record

Number: Integer;

Stroka: String;

Zn: Boolean;

End;

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

Function otr (a: prep; var b: prep; параметры сохранения и т. д.): Boolean;

Function con (a, b: prep; var c: prep; параметры сохранения и т. д.): Boolean;

Function diz (a, b: prep; var c: prep; параметры сохранения и т. д.): Boolean;

Пример 4.

Отмоделировать функцию Y_i:

Высказывание моделируется записью:

Function y1 (x₁, x₂, x₃, x_4: prep; var rez: prep; sohr: Boolean; newnumber: Integer; t: String): Boolean;

Var

I: boolean; a, b, c, d, e,: prep;

Begin

I:= otr(x₁, a, false, 0);

I:= otr(x₂, b, false, 0);

I:= con (a, b, c, false, 0);

I:= con (c, x₃, d, false, 0);

I:= otr(x₃, a, false, 0);

I:= otr(x₄, a, false, 0);

I:= con(x₂, a, c, false, 0);

I:= con (c, b, e, false, 0);

I:= diz (d, e, rez, false, 0);

If sohr then begin

rez.number:=newnumber;

rez.stroka:=t;

end;

y1:=rez.znachenie;

end;

Отмоделировать функцию лучше программным путем, т. к. программу довольно просто модифицировать.