Langaj fòmèl: Diferans ant vèsyon 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 naturelle|lang natirèl]] yo]]. Nan enfòmatik, langaj fòmèl yo se yo ki souvan uitilizeitilize yo kòm baz pou definisyon an ki pou tout langaj yo ki nan pwogramasyon an e lòt sistèm yo ; mo yo ki pou younyon langaj gangen nan dyakout li atò tou yon sans, younyon [[semantik]]. AnnNan [[teworiateyori ki pou konpleksiteakonpleksite 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 ki pou 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 uitilize 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.