Ki sa ki lang fòmèl ka dwe atribiye? egzanp nan itilize

Ki sa ki se lang la fòmèl ak li montre kouman li diferan de natirèl la? Ki jan li te fòme? Ki sa ki lang fòmèl ka dwe atribiye? Epi li se itilize, al gade nan li?

Karakteristik nan lang fòmèl

Se konsa, nou rele yon gwoup lang atifisyèl, ki fè yo karakterize pa règ egzak konsènan konstriksyon an nan ekspresyon, osi byen ke konpreyansyon yo. sistèm itilize pou rezon endistriyèl ka dwe atribiye a lang fòmèl. Yo bati an konfòmite ak règleman yo klè, bay konsistan, kontra enfòmèl ant ak egzak ekspozisyon nan pwopriyete yo ak relasyon nan etidye zòn nan sijè oswa modelize objè yo. Valè a ak siyifikasyon nan mak yo pa ka chanje pa nenpòt karakteristik dogmatik (itilize nan kontèks la). Sa a se posib gras a prezans la nan lang nan fòmèl nan règleman yo nan konvèsyon sentaks ak semantik entèpretasyon. Yo yo souvan bati lè l sèvi avèk kòm yon baz nan matematik. Akòz lefèt ke li, sou span nan antye nan devlopman, itilize yon varyete de tit senbolik yo te aplike nan yon varyete de konsèp ak objè yo. Sa a ki sa bezwen fòmèl lang. Yo ka siyifikativman diminye done. Byen bonè, ansanm ak lang yo fòmèl ak natirèl yo te itilize, men ki gen konplikasyon an gradyèl nan sijè a epi yo bezwen an fè yon strik analiz ki lojik nan rezònman matematik, li te deside abandone tan lontan an. Pwosesis sa a te dire de ksvii nan syèk la XX. Li se se dènye syèk lan konsidere kòm pi anpil pitit pitit a an tèm de lang fòmèl. divès kalite branch espesyal te kreye. Se konsa, pou syans òdinatè yo se nan patikilye lang programmation enpòtans ak aljèb nan lojik, se pa sèlman teyorik, men tou, soti nan yon pwen de vi pratik.

definisyon

Ki sa ki lang fòmèl ka dwe atribiye, nou te deja yon ti tan eksplike. Men, sa ki nou ka di sou yo? se lang Fòmèl bay yon anpil nan definisyon diferan. Nan lis yo tout, li pral kite yon anpil nan tan, se konsa pran yon gade nan popilè ki pi:

1. Yon lis senp nan mo nan lang lan - anjeneral di nou fè sa ki gen rapò ak kalite a final pou konstriksyon ak sou sa yo ki gen yon estrikti ki senp.
2. Mo ki te pwodwi pa yon gramè sèten fòmèl.
3. Estrikti a kreye pa ekspresyon regilye.
4. Mo ki te pwodwi pa BPF-konsepsyon an.
5. Estrikti a, rekonèt pa yon otomat fini.

Se pou yo gade nan yon egzanp. Se pou nou di nou gen alfabè a tout antye, yo bay de nonb 1 ak 0. Montre lèt la "O", nou itilize yon konbinezon de 1010001. Sa a se itilize nan yon lang fòmèl. Li se tou posib yo sèvi ak pawòl san sans (lè fisèl la gen zewo longè, li pa gen anyen) ki gen yon deziyasyon espesyal nan fòm lan abitye nan nou. Men, nan plis detay a konprann ki sa se yon lang fòmèl, ede 4 egzanp ki yo pral ba a. Ki sa ki li fè? Nan konpreyansyon lektè a te ki ka yon lang fòmèl dwe atribiye. Men, yon ti kras plis sou ki jan yo kreye.

Konstriksyon yon lang fòmèl

Chak lang se yon estrikti fòmèl ki te kreye yon fwa yon moun. Anjeneral, yo bati sou modèl la menm:

1. Pou kòmanse, chwazi alfabè a, oswa kèk seri karaktè espesifik ki pral bati ak ekspresyon yo itilize nan lang lan. Pa lang nan fòmèl se nenpòt fason nan pwogram lè l sèvi avèk yon òdinatè.
2. Li dekri sentaks la, se sa ki, karakteristik ak règleman ki pral bati fraz ki gen sans.
3. Sou règ sèten pou mo ak ekspresyon. Isit la gen yon règ: nenpòt sekans nan lèt dwe kapab konte mo yo.

Pa lang fòmèl refere a ankenn estrikti ki gen prensip ki klè - li ta dwe vin chonje. Lè bati, gen kèk karakteristik. Kidonk, tèm "pèsonaj la" se trè milti-fonksyonèl an tèm de siyifikasyon, se konsa pou pati ki pi itilize tèm nan kòm yon "lèt". Men, anba yo ka konprann pa sèlman notasyon a nòmal pou nou, men tou, parantèz yo, karaktè espesyal, ak plis ankò. Sa a aplike sèlman nan lang fòmèl.

EGZANP 1

Ann kòmanse ak 1 ak 0. Nan ka sa yo, sèvi ak plis nan konsèp nan "tèm" ak "fòmil." Premye a aji kòm yon analogique nan objè a ak non an itilize, al gade nan yon bagay espesifik. Premye a tout konprann konstan yo ak varyab endividyèl anba yo. Te sa yo, nan vire, bati estrikti pi konplèks, ki te itilize yo itilize nan kèk fonksyon lang. Dapre kondisyon ki nan gwoup la konprann fòmil la, itilize nan ki nan yon lang programmation sèten se posib. "Enstriksyon" Sa a pral trete, ak moun nan pral jwenn rezilta a vle.

EGZANP 2

Konsidere lojik la egzanp nan ki gen yon entèrvèrsyon (¬), disjonksyon (∧), ansanm nan (∨) ak enplikasyon (⇒ a) ak plizyè lòt ankò. Nan anrejistreman sa yo nan imaj ka bay tankou:

1. Yon;
2. A∧V ⇒ ¬A
3. ¬ (A∨¬S)

Kòm karaktè yo A, B, C, ranplase varyab yo epi ou jwenn operasyon yo lojik. Ki kote pou aplike pou fòmèl lang nan kalite sa a? se Itilize nan toupatou tout moun ki tankou yon mekanis yo te jwenn nan lang programmation, matematik, relasyon, fonksyon ki lojik e ki matematik, oswa pati nan ki te dekri nan pwogramè a.

EGZANP 3

Se pou yo gade nan yon fòmil plis konplèks ki lojik:

¬ (A∨¬S) ⇔ ¬A∧S = 1

Se poutèt sa nou bezwen fòmèl lang. Imajine sa ki ta te rive si li te dekri nan pawòl sa yo? Koulye a, ki baze sou yon fòmil nou enferyè konklizyon yo. ekspresyon sans ka jwenn nan lang fòmèl sèlman lè kèk regleman yo respekte pre-fòmasyon, chanjman ak "konprann" nan fòmil yo ak tèm de kote y ap fè:

1. tèm konstriksyon divizyon fòmil epi;
2. Etid sou aspè nan semantik ak entèpretasyon;
3. Sekans an nan youn nan fòmil yo ak lòt tèm.

Chak ak lang fòmèl ta dwe byen etabli mete nan règ yo.

EGZANP 4

Akòz prezans la nan règleman yo nan pwodiksyon an ak lang sentaks pou tèm ak fòmil ki kapab fèt modèl transfòmasyon izomorf. Se konsa, li pral te pote soti pa sèlman refleksyon nan (reprezantasyon nan) yon kò espesifik nan konesans ki deja egziste, men li ka resevwa nouvo enfòmasyon. Anplis, transfòmasyon an, menm si, epi yo pral pran plas dapre prensip ki klè ak strik, li ka otomatik. teknik menm jan an yo te itilize nan sistèm ekspè, baz konesans, ak pwodwi sipò desizyon lojisyèl.

konklizyon

Fòmèl lang yo lajman ki itilize nan syans, espesyalman nan atizay la. Pandan rechèch la syantifik ak aplikasyon an nan aktivite pratik yo ka kominike avèk natirèl la, nan gade nan kapasite yo konsiderab espresif nan lèt la. Men, fòmèl lang ka plis presizyon transmèt konesans ak pote soti nan yon echanj objektif nan enfòmasyon akimile nan limanite.