Langaj fòmèl: Diferans ant vèsyon yo

Mo yo se yo ki suit yo ki pou elēmaneleman yo ki pou alfabè sa- a ; mo yo ki kina youn langaj fòmèl patikilye se yo pafwa rrlerele mo yo byen fòme yo oubyen [[fòmèl byen fòme | fòmil yo byen fòme yo]]. YounYon langaj fòmèl se souvan defini pa younyon [[gramè fòmèl]], zannanna ke [[gramè aljebrik|gramè aljebrikaljèbrik]] e analize pa ki pou [[teworiteyori tout otomat yo|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 uitilizeitilize 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.