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 yo. Alfabè yon langaj fòmèl se ansanm ki pou senbòl yo, lèt yo oubyen 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ò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 otomat yo.
Teyori langaj etidye aspè yo nètman 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 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 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 otomat yo pou rekonesans, men manzè enterese li tou ak aprantisaj fòmèl langaj yo e ak tradiksyon. Nan domèn tradiksyonèl, teyori langaj yo aplike li ak tout konpilatè yo langaj yo pwogramasyon.