eo eo eo eo eo eo eo eo eo eo eo eo eo eo eo eo eu it eo ca eo eo eo eo eo eo lt eo eo eo eo de es eo eo eo eo eo sv ur eo eo eo eo es eo eo eo eo eo eo eo eo tr nl eo eo it eo eo eo eo eo eo eo eo eo eo eo eo ar bg hbs_lat ca mzn hbs_lat da de el en es fa fi fr he hi hbs_lat hu it ja ko lt en es nl nb pl pt ro ru hbs_lat en sk hbs_lat sv tr fy vi zh eo eo eo eo eo eo eo eo eo
El Vikipedio, la libera enciklopedio
En matematiko oni konsideras formalajn lingvojn kun skriba reprezentaĵo. Alivorte, formala lingvo estas aro de finlongaj propozicioj (aŭ vortoj) konsistantaj el literoj (simboloj) de finkvanta alfabeto. Plej ofte oni uzas formalajn lingvojn en programado, matematika lingvistiko, teorio de aŭtomatoj, teorio de komputebleco, teorio de algoritmoj. Matematika teorio, kiu priskribas tiajn objektojn, nomiĝas Teorio de formalaj gramatikoj.
Kutime formala lingvo (en tiu ĉi artikolo ni nomos ĝin simple "lingvo") enhavas nefinitan kvanton de propozicioj. Klare, ke tiaj nefinitaj lingvoj povas esti difinitaj nur per iu matematika konstruaĵo.
En teorio ofte gravas, ĉu la lingvo enhavas malplenan propozicion (signatan kiel e, e aŭ A).
Ekzemploj[redakti | redakti fonton]
Oni signas la lingvojn kutime per litero L (eble kun indeksoj).
Estu la alfabeto {a, b} kaj enhavu la lingvo L ĉiujn vortojn el tiu ĉi alfabeto. Tiam ekzemple ankaŭ la vorto ababbab apartenas al L.
Estu la alfabeto {a} (alivorte unulitera alfabeto). La lingvo L konsistas el vortoj kun nepara kvanto de literoj a. Tiam (ekzemple) la vorto aaa apartenas al lingvo, la vorto aaaa ne.
aro de sintakse ĝustaj programoj en certa lingvo de programado.
Manieroj de difino[redakti | redakti fonton]
Formala lingvo povas esti difinita en diversaj manieroj, ekzemple:
Per tranombrado; tamen tiel oni povas difini nur lingvojn kun finita kvanto de propozicioj.
Per iu formala gramatiko.
Per iu regula esprimo.
Per iu fina aŭtomato.
Per formo de Backus-Naur.
Literaturo[redakti | redakti fonton]
J.E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Introduction to Automata Theory, Languages, and Computation Second Edition. Addison-Wesley (2001). *J.E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman, Enkonduko en teorio de aŭtomatoj, lingvoj kaj komputado Dua eldono. Addison-Wesley (2001) (en la angla).
CepeбpяkoB B.A., ГaлoчkиH M.П., ГoHчap Д.P., ФypyrяH M.Г. Teopия и peaлизaция языkoB пporpaMMиpoBaHия //M.: MЗ-Пpecc, 2006 r., 2-e изд. "Serebrjakov V.A., Galoĉkin M.P., Gonĉar D.R., Furugjan M.G." Teorio kaj realizado de lingvoj de programado //Moskvo: MЗ-Press, 2006 ., 2a eldono. ISBN 94073-094-9 (en la rusa).
Informoj pri la paĝo
Citi ĉi tiun artikolon
Ĉi tiu paĝo estis lastafoje redaktita je 00:40, 5 apr. 2013.
La teksto disponeblas laŭ la permesilo Krea Komunaĵo Atribuite-Samkondiĉe 3.0 Neadaptita; eble aldonaj kondiĉoj aplikeblas. Vidu la uzkondiĉojn por detaloj.
Regularo pri respekto de la privateco
Vidigo por porteblaj aparatoj