Différences entre les versions de « Gramè fòmèl »

Aller à la navigation Aller à la recherche
1 603 octets ajoutés ,  il y a 2 ans
Tags: Atik sa a te modifye ak yon aparèy mobil. Chanje sit entènèt la lè l sèvi avèk yon aparèy mobil
* A2 = { 2, 5, @, $, & } se yon lòt alfabè ki genyen 5 senbòl ;
* A3 = { Det, Adj, Vèb, Non, kowòd, Prep } se yon alfabè pou 6 senbòl ki ka dekri, pa egzanp, estrikti sentaksik nan yon fraz nan yon lang natirèl.
 
== Gramè ==
 
Yon gramè fòmèl (oubyen, senpleman, gramè) se lik gen antou kat objè suivan:
* Yon ansanm fini kise senbòl, rele ''[[Senbòl tèminal yo e non-tèminal yo|senbòl tèminal]]'' (ki se yo k « lèt yo » pou langaj la), note konvansyonnèlman pa debann miniskile yo,
* Yon ansanm fini pou senbòl, rele yo ''[[Senbòl tèminal yo e non-tèminal yo|non-tèminal]]'', note konvansyonnèlman pa debann majiskil yo,
* Yon eleman pou ansanm non-tèminal yo, rele ''aksyom'', note konvansyonnèlman <math>S</math>,
* Yon ansanm de ''règ pou pwodiksyon'', ki se yo k pade(2) fòme yon non-tèminal e deyon suit de tèminal yo e de non-tèminal yo ; pa ekszanp, <math>A \rightarrow ABa</math>
 
Aplike yon règ pou pwodiksyon konsanti ke w ranplase nan yon mo yon okirans pou manm bò goch ki pou règ sa a pa manm li an ki pou dwat ; aplikasyon siksesiv de règ yo ki pou pwodiksyon yo rele yon derivasyon. Langaj defini pa yon gramè se ansanm mo yo ki fòme inikman de senbòl tèminal yo ki kapab tou aten pa derivasyon ak pati de aksyom nan.
 
Konsa, gramè defini pa tèminal yo <math>\{a, b\}</math>, non-terminal <math>S</math> la, aksyom lan <math>S</math> e de(2) règ yo ki pou pwodiksyon annapre a :
: <math>S \to aSb</math>
: <math>S \to \varepsilon</math> (où <math>\varepsilon</math> reprezante mo a ki vid)
 
reprezante langaj tout mo yo pou lafòm <math>a^n b^n</math> (yon sèten nonm de <math>a</math> – evantyèlman 0, ann vèti ki pou dezyèm règ la –, suivi ki pou menm nonm de <math>b</math>) : <math>\{\varepsilon, ab, aabb, aaabbb,\ldots\}</math>.
 
== Referans ==
493

modifications

Meni navigasyon