Математическая логика и теория алгоритмов. Галуев Г.А. - 33 стр.

UptoLike

Составители:

Рубрика:

Математическая Логика и Теория Алгоритмов стр. 33 из 64

О P⎤

О О

Q Q⎤ Q Q⎤

О О О О

R⎤ R⎤

R⎤

О О

О О О

R⎤

О О

Рис.5 (а)

QP,⎤

PQ ⎤⎤ , О

RQ,

О О

RQ,⎤

R⎤

О О О

RQ ⎤⎤ ,

RQ ⎤, О

R⎤

Рис.5 (б)

Пусть

{}

))((),( xfQxPS = . Эрбрановский базис множества S есть.

{}

))),...((()),(()),((),(),( affPafQafPaQaP

Семантическое дерево для этого

показано ниже.