Методнинг асосий босқичлари ва объектлари

Генераторни тавсифлаш тили
Тавсия етилган тил функционалдир, чунки авлод алгоритмларини тузиш усули рекурсив таркибга асосланган. Тил сизга имкон беради:
1. Дарахтни ва/ёки қавс ёзувида тавсифланг ёки рекурсив композиция сифатида.
2. Дарахтларда композицион операцияларни бажариш, тугунларни қўшиш ва ўчириш, дарахт тугунларида маълумотларга кириш.
3. Дарахтнинг вариантини ва/ёки унинг рақамини олинг ва variant рақамини вариантнинг ўзи билан олинг.
Тил талқин қилинади ва таржимоннинг ўзи кутубхона шаклида амалга оширилади, бу еса уни турли хил дастурий таъминот тизимларига жойлаштиришга имкон беради. Таржимон интерфейсни тақдим етади тилнинг барча елементларига кириш учун.
Тил фақат дарахтлар ва функциялар билан ишлайди. Ҳар қандай операция натижаси ёки функция-бу дарахт.
Тилдаги барча дарахтлар И/ИЛИ дарахтлардир.
Дарахтнинг ҳар бир тугуни 3 хил бўлиши мумкин: И-тугун, ИЛИ-тугун, барг. Дарахт тугунларини номлаш мумкин (тугун учун идентификатор мавжуд) ва номаълум идентификатор йўқ.
Дарахтни тасвирлаш усули сифатида, қавс ёзуви танланган:
d1 = (l1, {l2,l1}, l3);
Қавслар () тугун дегани "И" ва { }қавслар "ИЛИ" тугун. l1, l2, l3-тугун номлари. d1 Дарахт. Дарахтнинг тугуни математик ифода бўлиши мумкин:
d = (0, син(0)+cос(х));

Бундай ҳолда, математик ифода ҳисоблаб чиқилади ва тугун номи натижага айланади. D дарахт, исмсиз илдиз ва иккита баргдан иборат 0 ва 1 (чунки sin(0)+cоs(0)=1).
Тилда дарахтлар устида бир нечта операциялар мавжуд. Дарахтдаги операциялар дарахт_номи[дарахтдаги_операциялар] шаклида ёзилади. Ҳар қандай операция натижаси янги дарахтдир.
Манба дарахти ўзгармайди. Барча операцияларда, сиз хоҳлаган филиал (тугун ёки subtree)
устида бир ҳаракатни амалга ошириш учун бир неча йўллар билан тасвирланган мумкин:
1) leaf1 –leaf1 номли баргни тасвирлайди.
2) node1(...)-И-тугун ўзбошимчалик билан node1 сон билан тасвирлайди.
3) node2{_, _, _} –ИЛИ- node2 номли тугунни 3 та ўғли бор деб таърифлайди. Пастки белги ҳар қандай номдаги тугун мавжудлигини кўрсатади.
4) node3(_х, _Y) – И-node3 таърифлайди, 2 ўғил бўлган. Бу ерда _х ва _y node3 тугунининг ўғилларининг шартли номлари (пастки белги тугун номларининг қатъий ёзишмаларини бекор қилиш бўлиб хизмат қилади). _х ва _y исмларидан фойдаланиш мумкин тугунларнинг таркибини бошқариш учун. Дарахтлардаги операцияларни кўриб чиқинг.