Хомский граматикаси иерархияси

Ushbu kitobda tizimli dasturiy ta'minotning nazariy va amaliy asoslari, formal tillar, grammatikalar, sintaksis tahlili, translyatsiya usullari, Хомский иерархияси ва avtomatlar синфлари, shuningdek, турли xil dasturlash тилларининг тузилиши ва ишлаш принциплари batafsil yoritilgan. Kitobда амалий misollar ва листинги kodlar тақдим этилган бўлиб, ушбу соҳадаги мутахассислар учун фойдалидир.

Asosiy mavzular

Тизимли дастурий таъминот: Тизимли дастурий таъминотнинг асосий вазифалари ва таркибий қисмлари, замонавий электрон ҳисоблаш машиналарининг тизимли дастурий таъминоти билан шуғулланиш.
Формал тиллар ва грамматикалар: Формал тилларнинг таърифи, грамматикаларнинг турлари, Хомский иерархияси, тилларни тасвирлаш усуллари, синтаксис tahlil.
Синтаксис tahlil: Синтаксис анализнинг умумий алгоритми, синтаксис анализ масаласини Хомский ҳосил қилувчи грамматика модели синфида эффектив еча олмаслиги, трансляциялаш методлари.
Трансляция: Трансляция методлари, Хомский умумий грамматика ички синфлари ва хусусан таркибан-мустақил грамматикалар.
Хомский иерархияси: Хомский грамматикаларининг турлари, уларнинг хусусиятлари ва қўлланилиши, улар келтириб чиқарадиган тиллар ҳамда умумий таниб олиш алгоритми амалга ошириши мумкин бўлган абстракт қурилма.
Амалий қисм: Дастурлаш тили грамматикаси терминал рамзлари бу дастур ташкил топган рамзлар хисобланади. Дастурлаш тиллари грамматикаси ҳосил қилувчи нотерминал рамзлар табиати.