Маъруза №13. Мавзу: Формал тил ва грамматикаларнинг классификацияси.
Режа:
1.
Бэкус-Наур формасидаги грамматика
Бэкус-Наур формасидаги грамматиканинг ёзилиши.
Куйидаги ёзув куриниши:
1)α→β
1
, α→β
2,
…, α→β
n
α→β
1
| β
2
|… |β
n
2)барча нотерминал белгилар
бурчак кавсларга олинади.
метабелгилардан фойдаланиб грамматика коидаларини ёзиш.
1.() –
барча санаб утилганлардан факат биттасигина туриши мумкин.
2.[] –
ушбу курсатилган занжирларлардан учраши хам мумкин учрамаслиги хам мумкин.
3.{} –
ушбу кавсларда келтирилганлар учрамасликлари хам мумкин, ёки 1
марта
учрашлари, ёки бир неча марта учрашлари мумкин.
4. , -
() кавс ичидаги белгилар занжирини ажратиш учун фойдаланилади.
5. “ ” качонки метабелгилардан бирини занжирга оддий
усул билан кушиш керак
булганда фойдаланилади.
Грамматика коидаларини граф куринишида ёзиш.
Хар бир нотерминал белгига йуналтирилган граф куринишидаги диаграмма мос келади.
Номланиши
Белгиланиши
Йуналтирилиши
Кириш нуктаси
Хеч кандай белгиланмайди
Ундан
графнинг кирувчи
кобиги бошланади.
Нотерм белги
Ичида
нотерминал
белгиларнинг
белгиланиши
келтирилган
Терминал белгилар
занжири
Унда
терминал белгилар
занжири ёзилган
Боглаш нуктаси
Чорраха
Кириш нуктаси
Хеч кандай белгиланмайди
Унга
графни
чикувчи
кобиги киради
Do'stlaringiz bilan baham: