Formālā gramatika
Kārtulu sistēma, kas apraksta kādu simbolu virknīšu kopu.
Valodniecībā šie simboli ir kādas dabiskas valodas vārdi un simbolu virknīte - pareizi veidots teikums. Pazīstami arī citi formālās gramatikas lietojumi: poētikas, mūzikas teorijas, bioloģijas, kā arī citu zinātņu matematizācijā, automātiskajā tulkosanā u.c.
Sevišķa nozīme formālajai gramatikai ir programmēšanā. Ar tās palīdzību tiek aprakstītas algoritmiskās valodas. Tas sniedz iespēju programmu analīzē izmantor formālās gramatikasmatemātiskās teorijas sasniegumus.
Izšķir 2 formālās gramatikas tipus:
- ģenerējošā formālā gramatika;
- akceptējošā formālā gramatika.
Savrup no šiem 2 tipiem atrodas kategoriālās gramatikas, kuras var reizē uzlūkot par piederīgām pie abiem tipiem. Pie ģenerējošo gramatiku svarīgākās klases pieder konteksta, bezkonteksta, lineārās un automātu gramatikas.
Latvijā pētīta pazīšanas sarežģītība valodām, kas ģenerētas ar bezkonteksta gramatikām - J.Bārzdiņš, R.Freivalds, konteksta gramatiku ģenerēšanas sarežģītība - R.Freivalds, grafu gramatikas - J.Kinbers, u.c.
Saites.
Programmēšana.
