Fōrmala grammatiki

Grammatiki - Grammatiki ast wīdan kāi ebpeisālai billin, tītet pasenrīnksenin stesse senrīnksenin wisēisan wangiskas ilgas wīrdan kīrsa dātan alfabētan (pasenrinksenin wisēisan wangiskas ilgas presnan kīrsa alfabētan stēisan wīrdan).

Definiciōni

Grammatiki ast ketwirtā $G=(V,\Sigma ,S,P)$, kwēi:

• $V$ ast ainuntan alfabētan, nitērminalin alfabētan
• $\Sigma$ ast kits alfabētan, tērminālin alfabētan, izšlaitīnts ezze $V$
• $S$ ast pagaūsenes simbōlin
• $P$ ast wangiskas senrīnksenis stēisan prōdukciōnin, stesses fōrmin $x\to y$, kwei $x$ be $y$ ast ratīnžai kīrsa $\Sigma \cup V$ be $x\neq \epsilon$ ($\epsilon$ ast pāusts ratīnzis).

Perwaidīnsnas

Immimai ēngliskan billin. Seīsei:

• $V$ = $\{A,N,W,F\}$ (artīkels, substantīwan, werban, frāzi)
• $\Sigma$ = $\{a,the,dog,cat,rat,loves,hates,eats\}$
• $P=\{$
  

$S\to FWF$
$F\to AN$
$W\to loves|hates|eats$
$A\to a|the$
$N\to dog|cat|rat$
$\}$
Šī grammatiki generijja s.k. presnans: cat eats rat, rat hates cat, cat loves dog be t.t.

Immimai prūsiskan billi. Seīsei:

• $V$ = $\{A,T,W,F\}$ (adjaktīwan, substantīwan, werban, frāzi)
• $\Sigma =${labban,wārgan,wīrs,genā,azzaran,ast}
• $P=\{$
  

$S\to TastN$
$T\to$wīrs|genā|azzaran
$N\to$labban|wargan
$\}$

Šī grammatiki generijja s.k. presnans: wīrs ast labban, azzaran ast wārgan be t.t.

Grammatikin klasifikaciōni

• regulāras grammatikis
• bekōntekstiskas grammatikis
  • bekōntekstiskas grammatikis sen Chomsky'es wīdan
  • bekōntekstiskas grammatikis sen Greibach'as wīdan
• kōntekstiskas grammatikis
• rekursīskai gīrbaminas grammatikis (šlāit arāikinsnan na rēgulas wīdan)