Kion al formalaj lingvoj povas atribui? ekzemploj de uzo

Kio estas la formala lingvo kaj kiel ĝi diferencas de la naturaj? Kiel ĝi formis? Kion al formalaj lingvoj povas atribui? Kaj ĝi estas uzata por raporti al li?

Karakterizaĵoj de formalaj lingvoj

Do ni nomas grupon de artefaritaj lingvoj, kiuj karakterizas por precizaj reguloj pri la konstruado de esprimoj, kaj ankaŭ ilia kompreno. sistemoj uzitaj por industriaj celoj povas esti atribuita al formalaj lingvoj. Ili estas konstruitaj konforme al la klara reguloj, provizi konsekvencan, kompakta kaj preciza display de la proprietoj kaj rilatoj de la studis temo areon aŭ modeligita objektoj. La valoro kaj signifo de la markoj ne estas ŝanĝita de ajna pragmata trajtoj (uzo de la kunteksto). Ĉi tio eblas danke al la ĉeesto en la formala lingvo de la reguloj de sintakso konvertiĝo kaj semantika interpreto. Ili estas ofte konstruitaj uzante kiel bazo de matematiko. Pro tio, ke ĝi, entute? Ro de evoluo, uzataj diversaj simbola designaciones estis aplikitaj al diversaj konceptoj kaj objektoj. Tion bezonas formalan lingvoj. Ili povas signife redukti datumoj. Pli frue, kune kun la formala kaj naturaj lingvoj estas uzataj, sed kun la laŭgrada komplikaĵo de la subjekto kaj la bezono fari striktan logika analizo de matematika rezonado, ĝi decidis forlasi la pasinteco. Tiu procezo daŭris de la jarcento al la Jarcento jarcento. Estas la lasta jarcento estas konsiderata la plej fruktoporta en terminoj de formalaj lingvoj. diversaj specialaj branĉoj naskigxo. Do, por komputiko estas de aparta graveco programlingvoj kaj la algebro de logiko, ne nur teoriaj, sed ankaŭ de praktika vidpunkto.

difinon

Kion al formalaj lingvoj povas atribui, ni havas jam mallonge klarigis. Sed kion ni povas diri pri ili? Formala lingvo estas donita multajn malsamajn difinojn. Printi ilin ĉiujn, ĝi lasos multan tempon, do rigardu la plej populara:

1. Simpla listo de vortoj en la lingvo - kutime diras tion rilate al la fina tipo de konstruo kaj pri tiuj, kiuj havas simplan strukturon.
2. Vortoj generita de certa formala gramatiko.
3. La strukturo kreita de regulaj esprimoj.
4. Vortoj generas la BPF-dezajno.
5. La strukturo, rekonebla per finia aŭtomato.

Ni rigardu ekzemplon. Supozu ke ni havas la tutan alfabeton, donita du nombrojn 1 kaj 0. Por montri la litero "O", ni uzas kombinaĵo de 1010001. Tiu estas la uzo de formala lingvo. Estas ankaŭ eble uzi malplenaj vortoj (kiam la ĉeno havas nulo longo, kaj estas nenio) kun speciala designación en la formo konata al ni. Sed pli detale kompreni kion estas formala lingvo, helpu 4 ekzemploj kiuj estos donita proksima. Kion ĝi faras? Al la leganto komprenon estis tiu formalan lingvon eblas atribuitaj. Sed iom pli sur kiel ili estas kreitaj.

Konstruo de formalaj lingvoj

Ĉiu lingvo estas formala strukturo kiu estis kreita unufoje kaj iu. Ili estas kutime konstruitaj laŭ la sama modelo;

1. Por komenci, elektu la alfabeto, aŭ iu aro de specifaj karakteroj kiuj estos konstruita kaj esprimoj uzataj en la lingvo. Per la formala lingvo estas iel plani uzante komputilon.
2. Ĝi priskribas la sintakso, tio estas, karakterizaĵoj kaj reguloj kiuj konstruos signifoplenan frazoj.
3. En certaj reguloj por vortoj kaj esprimoj. Ĉi tie estas regulo: ajna sinsekvo de literoj devas povi kalkuli vortojn.

Per formala lingvo rilatas al ajna strukturo kiu havas klarajn regulojn - ĝi devas memori. Kiam konstruado, ekzistas iuj trajtoj. Tiel, la termino "karaktero" estas tre mult -funkcia laŭ signifo, tial plejparte uzis la terminon kiel "letero". Sed sub ili povas esti komprenata ne nur la kutima skribmaniero por ni, sed ankaŭ la krampoj, specialaj karakteroj, kaj pli. Tio koncernas nur al formala lingvoj.

EKZEMPLO 1

Ni komencu per 1 kaj 0. En tiaj kazoj, uzu la pli la koncepto de "termino" kaj "formulo". La unuaj agoj kiel analogo de la objekto kaj la nomo uzita por rilati al io specifa. Unue kompreni la konstantoj kaj individuaj variabloj sub ili. De ĉi tiuj, siavice, konstrui pli kompleksaj strukturoj, kiu estas uzita uzata en kelkaj lingvo funkcio. Sub la terminoj de la grupo kompreni la formulo, la uzo de kiuj en certa programlingvo eblas. Tiu "instrukcio" estos procesita kaj la persono ricevos la deziratan rezulton.

EKZEMPLO 2

Konsideru la ekzemplon logiko en kiu estas inversigo (¬), disjunkcio (∧), la konjunkcio (∨) kaj la implico (⇒) kaj pluraj aliaj. En tiaj registradon de bildoj povas esti donita kiel:

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

Ĉar la karakteroj A, B, C, anstataŭigi la variablojn kaj vi ricevas la logika operacioj. Kie apliki formalajn lingvojn de tiu tipo? La vasta uzo de tia meĥanismo troviĝas en programlingvoj, matematiko, rilatoj, logika kaj matematikaj funkcioj, aŭ partoj de kiuj estis priskribitaj de la programador.

EKZEMPLO 3

Ni rigardu pli kompleksa logika formuloj:

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

Tial ni bezonas formalan lingvoj. Imagu kio okazus se ĝi estis priskribita en vortoj? Nun, bazita sur formulo deduktas konkludoj. Signifoplenan esprimoj povas akiri en la formala lingvo nur kiam certaj reguloj estas respektitaj antaŭ-formado, ŝanĝo kaj "kompreno" de la formuloj kaj terminoj de kiu ili estas faritaj:

1. Konstruo termino formuloj kaj;
2. Studo de la semantika aspekto kaj interpreto;
3. La vico de unu el la formuloj kaj aliaj termino.

Ĉiu formala lingvo devus esti bone establita metita de reguloj.

EKZEMPLO 4

Pro la ĉeesto de la reguloj de la lingvo sintakso eligo por terminoj kaj formuloj povas esti farita izomorfia transformo modeloj. Do estos efektivigita ne nur la reflekto (reprezento de) specifan korpon de scio, ke jam ekzistas, sed oni akceptu novan informon. Cetere, la transformo, Tamen, Kaj okazos laŭ klara kaj striktaj reguloj, ĝi povas esti aŭtomatigita. Similaj teknikoj estas uzitaj en spertaj sistemoj, scion bazajxojn kaj programaro decido subtenon produktoj.

konkludo

Formalaj lingvoj estas vaste uzata en scienco, precipe en la arto. Dum la scienca esploro kaj la efektivigo de praktikaj agadoj ili povas interagi kun la natura, konsiderante la konsiderindan esprima kapablojn de tiu lasta. Tamen formalajn lingvojn povas pli precize transdoni scion kaj efektivigi objektivan interŝanĝo de informo amasigita de la homaro.