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

Contenu supprimé Contenu ajouté
Gilles2014 (diskisyon | kontribisyon)
Aucun résumé des modifications
Gilles2014 (diskisyon | kontribisyon)
Aucun résumé des modifications
Liy 1 :
Se nan [[matematik]], nan [[enfòmatik]] e nan [[lengwistik]], '''[[teyori]] langaj''' gangen 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 elēman yo ki pou alfabè sa-a ; mo yo ki kina youn langaj fòmèl patikilye se yo pafwa rrle mo yo byen fòme yo oubyen [[fòmèl byen fòme | fòmil yo byen fòme yo]]. Youn langaj fòmèl se souvan defini pa youn [[gramè fòmèl]], zannanna ke [[gramè aljebrik|gramè aljebrik]] e analize pa ki pou [[tewori tout otomat yo|otomat yo]].
 
TeyorilangajTeyori langaj etidye aspè yo nètman [[sentaks|sentaksik yo]] ki pou younyon langaj kèlkonk yo, sa-vle-di estrikti yoã ki anndan fòmèl. TeworiaTeyori 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 uitilize 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 youn langaj gan nan dyakout li atò tou yon sans, youn [[semantik]]. Ann [[teworia ki pou konpleksitea poubann algoritm yo]], [[pwoblèm ki pou desizyon | pwoblèm yo ki pou desizyon yo]] se yo ki jeneralman defini tankou toutbann langaj fòmèl yo, e [[klas ki pou konplekditea|klas yo ki pou konpleksiteakonpleksite]] 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. AnnNan [[lojik matematik]], langaj fòmèl yo se yo ki uitilize yo pou reprezante sentaks la poubann [[sistèm aksyomatik|sistèm aksyomatik]] yo]], e [[LojisizmLojisis|atitid fòmalistfòmalis annnan matematik oubyen lojisizmlojisis]] afimafin ke nan prensip, matematik yo kapab yo trennenvini li menm nan manipilasyon sentaksik ki pou langaj fòmèl yo.
 
Etid la ki pou langaj fòmèl yo gangen nan dyakout li ansanm ki pou mwayen yo pou deskripsyon e ki pou analiz ki pou langaj sa- a yo, tankou [[gramè fòmèl|gramè fòmèl]] pou jenerasyon e [[teworia ki pouteyori otomat yo|otomat yo]] pou rekonnensansrekonesans, men manzè enterese lli tou ak [[aprantisaj fòmèl]] ki pou langaj yo e ak [[transdiktè fini an|tradiksyon]]. Nan domèn ki pou tradiksyontradiksyonèl, teyori ki pou langaj yo aplike li ak tout [[konpilatè]] yo ki pou langaj yo pwogramasyon.
 
== Referans ==