Gramè fòmèl: Diferans ant vèsyon yo
Liy 5 : | Liy 5 : | ||
== Langaj yo == |
== Langaj yo == |
||
Yon langaj se yon ansanm |
Yon langaj se yon ansanm ''mo'', ki se senpleman sekans senbòl chwazi nan yon ansanm (anjeneral fini) rele ''alfabè''. Fòmèlman, si <math>A</math> se yon ansanm, nou note <math>A^*</math> [[Monoyid|monoyid lib]] sou <math>A</math>, setadi ansanm suit fini yo pou eleman <math>A</math>, avèk operasyon an [[konkatenasyon]] pou de (2) mo. Yon langaj sou alfabè <math>A</math> se pa definisyon yon sou-ansanm ki pou <math>A^*</math>. |
||
Souvan, « senbòl yo » ke |
Souvan, « senbòl yo », ke nou konsidere lè nou defini yon langaj pa yon gramè fòmèl la, se konstitye pa plizyè karaktè. Yo koresponn pito ak sa nou rele mo nan lang kourant. Nan menm fason an, « mo yo » langaj koresponn an pito ak fraz oubyen tèks. Lè gen anbigwite, nou pale de ''lèt'' oubyen de ''karaktè'' pou senbòl alfabè yoitilize pou kode enfòmasyon yo ; epi nou rezève mo senbòl la pou sa a yo ki nan alfabè abstrè, ki se eleman de baz pou langaj. |
||
Pa egzanp : |
Pa egzanp : |
||
* A1 = { a, b, c, d, e } se yon alfabè ki genyen 5 senbòl, tradisyonèlman potnon ''lèt'' nan ka presi sa a ; |
* A1 = { a, b, c, d, e } se yon alfabè ki genyen 5 senbòl, tradisyonèlman potnon ''lèt'' nan ka presi sa a ; |
||
* A2 = { 2, 5, @, $, & } se yon lòt alfabè ki genyen 5 senbòl ; |
* A2 = { 2, 5, @, $, & } se yon lòt alfabè ki genyen 5 senbòl ; |
||
* A3 = { Det, Adj, Vèb, Non, kowòd, Prep } se yon alfabè pou 6 senbòl ki ka dekri, pa egzanp, estrikti |
* A3 = { Det, Adj, Vèb, Non, kowòd, Prep } se yon alfabè pou 6 senbòl ki ka dekri, pa egzanp, estrikti sentaksik nan yon fraz nan yon lang natirèl. |
||
== Referans == |
== Referans == |
Vèsyon jou 8 avril 2019 à 17:07
Yon gramè se yon fòmalis ki pèmèt pou defini yon sentaks e pou yon langaj fòmèl, sa-vle-di yon ansanm mo yo ki admisib sou yon alfabè swadizan.
Nosyon ki pou gramè a ki fòmèl la se patikilyèman itilize nan pwogramasyon lojik, konpilasyon (analiz sentaksik), ann teyori kalkilabilite a nan trètman lang natirèl (tou patikilyèman nan sa ki konsène mòfoloji e sentaks la).
Langaj yo
Yon langaj se yon ansanm mo, ki se senpleman sekans senbòl chwazi nan yon ansanm (anjeneral fini) rele alfabè. Fòmèlman, si se yon ansanm, nou note monoyid lib sou , setadi ansanm suit fini yo pou eleman , avèk operasyon an konkatenasyon pou de (2) mo. Yon langaj sou alfabè se pa definisyon yon sou-ansanm ki pou .
Souvan, « senbòl yo », ke nou konsidere lè nou defini yon langaj pa yon gramè fòmèl la, se konstitye pa plizyè karaktè. Yo koresponn pito ak sa nou rele mo nan lang kourant. Nan menm fason an, « mo yo » langaj koresponn an pito ak fraz oubyen tèks. Lè gen anbigwite, nou pale de lèt oubyen de karaktè pou senbòl alfabè yoitilize pou kode enfòmasyon yo ; epi nou rezève mo senbòl la pou sa a yo ki nan alfabè abstrè, ki se eleman de baz pou langaj.
Pa egzanp :
- A1 = { a, b, c, d, e } se yon alfabè ki genyen 5 senbòl, tradisyonèlman potnon lèt nan ka presi sa a ;
- A2 = { 2, 5, @, $, & } se yon lòt alfabè ki genyen 5 senbòl ;
- A3 = { Det, Adj, Vèb, Non, kowòd, Prep } se yon alfabè pou 6 senbòl ki ka dekri, pa egzanp, estrikti sentaksik nan yon fraz nan yon lang natirèl.
Referans
Lyen deyò
- (angle) en Konferans anyèl anlè gramè fòmèl