Formala gramatiko: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
e Tlustulimu movis paĝon Grama\tiko formala al Formala gramatiko sen lasante alidirektilon: ĝusta titolo estas "Formala gramatiko"
tre bone, do mi povas remeti la intervikiajn ligilojn, por ŝparigi laboron al roboto
Linio 1:
'''Formala gramatiko''' aŭ simple '''gramatiko''' en la teorio de [[formala lingvo|formalaj lingvoj]] estas metodo de priskribo de formala lingvo. Ĉiu formala lingvo ''L'' bazas sur iu finkvanta alfabeto '''''A''''' de literoj (simboloj). Alivorte, gramatiko estas metodo (matematika aparato) de distingo de propozicioj, konstruitaj sur la bazo de alfabeto '''''A''''', apartenantaj al lingvo '''''L''''' de ĉiuj literaj sekvencoj el alfabeto '''''A'''''.
 
Formalajn gramatikojn kaj formalajn lingvojn esploras la [[matematika lingvistiko|lingvistiko matematika]], kiu envolviĝaselvolviĝas ekde 50ajla jaroj[[1950-aj de 20a jarcentojaroj]].
 
Oni distingas:
Linio 10:
== Terminoj ==
 
Formala gramatiko estas kutime aro de linioj konsistantaj el simboloj, foje kun tabelo (matrico). La plej klasika kaj uzata matematika aparato por generantaj gramatikoj estas formalaj gramatikoj de [[Noam Chomsky|N.Chomski Chomsky]], kiuj esence estas aroj de linioj. Klare, ke la gramatiko enhavas alfabeton '''''A''''', el kies literoj konsistas la propozicioj. La literojn de alfabeto '''''A''''' oni nomas '''terminalaj simboloj''' aŭ simple '''terminaloj'''.
 
Krom terminalaj simboloj la gramatiko enhavas '''neterminalajn simbolojn''' ('''neterminalojn'''), kiuj diferenciĝas de terminaloj. Ĉiu neterminalo signifas aron de frazoj (gramatikan klason) de la difinita lingvo. Ekzemple por lingvo de programado iu neterminalo povas signifi "listo de argumentoj de funkcio", "aritmetika esprimo" ktp. En gramatiko de natura lingvo neterminalo povas signifi ekzemple "cirkonstanca komplemento de tempo".
Linio 18:
== Generantaj gramatikoj ==
 
Tiun ĉi matematikan aparaton proponis la usona matematikisto [[NaomNoam ChomskiChomsky]].
 
{{Cite journal
Linio 301:
[[Kategorio:Matematika lingvistiko]]
 
<!-- la ĝusta versio de ĉi tiu artikolo estas [[Formala gramatiko]]; tien iru intervikiaj ligiloj
[[bs:Formalna gramatika]]
[[ca:Gramàtica formal]]
Linio 330 ⟶ 329:
[[uk:Формальні граматики]]
[[zh:形式文法]]
-->