Gade kòd pou Langaj fòmèl

Se nan [[matematik]], nan [[enfòmatik]] e nan [[lengwistik]], [[teyori]] langaj gen pou objektif pou dekri ''langaj fòmèl'' yo. Yon '''langaj fòmèl''' se yon ansanm [[mo (matematik)|mo yo]]. Alfabè yon langaj fòmèl se ansanm ki pou senbòl yo, lèt yo oubyen [[Leksèm (lengwistik)|leksèm yo]] ki sèvi yo nan konstrui mo yo ki pou langaj ; souvan, n sipoze ke alfabè sa a se fini.

Mo yo se yo ki suit yo ki pou eleman yo alfabè sa a ;  mo yo ki kina youn langaj fòmèl patikilye se yo pafwa rele mo yo byen fòme yo oubyen [[fòmèl byen fòme | fòmil yo byen fòme yo]]. Yon langaj fòmèl se souvan defini pa yon [[gramè fòmèl]], zannanna ke [[gramè aljèbrik]] e analize pa ki pou [[teyori tout otomat|otomat]] yo.

Teyori langaj etidye aspè yo nètman [[sentaks|sentaksik yo]] ki pou yon langaj kèlkonk yo, sa-vle-di  estrikti yoã ki anndan fòmèl. Teyori ki pou tout lang se kòkòtafigawo ki pou lengwistik la, tankou mwayen ki pou konprann  regilarite yo sentaksik yo ki pou [[lang natirèl]] yo. Nan enfòmatik, langaj fòmèl yo se yo ki souvan itilize yo kòm baz pou definisyon an tout langaj yo ki nan pwogramasyon an e lòt sistèm yo ; mo yo ki pou yon langaj gen nan dyakout li atò tou yon sans, yon [[semantik]]. Nan [[teyori konpleksite poubann algoritm yo]],  [[pwoblèm desizyon | pwoblèm yo ki pou desizyon yo]] se yo ki jeneralman defini tankou toutbann langaj fòmèl yo, e [[klas konpleksite]] se yo ki defini yo kòm ansanm yo langaj fòmèl yo ki kapab yo se  pou analize pa debann machin yo agen pou resous yo kalkil limite yo. Nan [[lojik matematik]], langaj fòmèl yo se yo ki itilize yo pou reprezante sentaks la poubann [[sistèm aksyomatik]] yo, e [[Lojisis|atitid fòmalis nan matematik oubyen lojisis]] afin ke nan prensip, matematik yo kapab yo trennenvini li menm nan manipilasyon sentaksik langaj fòmèl yo.

Etid la langaj fòmèl yo gen nan dyakout li ansanm mwayen yo pou deskripsyon e ki pou analiz langaj sa a yo, tankou [[gramè fòmèl]] pou jenerasyon e  [[teyori otomat|otomat yo]] pou rekonesans, men manzè enterese li tou ak [[aprantisaj fòmèl]] langaj yo e ak [[transdiktè fini|tradiksyon]]. Nan domèn  tradiksyonèl, teyori langaj yo aplike li ak tout [[konpilatè]] yo langaj yo pwogramasyon.

== Gade tou ==
* [[Lengwistik]]
* [[Noam Chomsky]]
* [[Marcel-Paul Schützenberger]]
== Referans ==
{{referans}}

== Lyen deyò ==

[[Kategori:Langaj fòmèl]]
[[Kategori:Lengwistik enfòmatik]]