93
2. Тек айырып тану символға сәйкес ерекшеліктерді анықтау. Мысалы,
«А» әріптің міндетті ерекшелігі тұйықталған жоғарғы бӛлігінің бар болуы.
Ал «негізіндегі бұралаңның» бар болуы қажет емес.
3. 2
пункттің әрбір бекітуіне
n
-орынды
f
(
x
sp
,
x
gh
,
x
nm
,…) түрі бар
предикатты салыстырып, алғашқы екі пунктті логикалық бейнелеу. Предикат
мәні 1 (ақиқат), егер ізделіп отырған элемент табылса және керісінше 0.
Мұндағы индекстер – түрлі бүтін сандар, сонымен бірге бірінші индекс – тор
ені, екінші – биіктігі. Солай «А» әріпті айырып тану үшін бізге бір орынды,
екі орынды және үш орынды предикаттар керек болады (
8.18-сурет
).
Достарыңызбен бөлісу: