Hvað á að formlegum tungumálum má rekja? dæmi um notkun

Hvað er formleg mál og hvernig það er frábrugðið eðlilegt? Hvernig það myndaðist? Hvað á að formlegum tungumálum má rekja? Og það er notað til að vísa til hans?

Einkenni formlega tungumálum

Svo við köllum hóp gervi tungumálum, sem einkennist af nákvæmum reglum um byggingu tjáning, auk skilnings þeirra. kerfi sem notuð eru til iðnaðar má rekja til formlegrar tungumálum. Þau eru byggð í samræmi við skýrar reglur, veita í samræmi, samningur og nákvæm sýna af eiginleikum og samskiptum rannsakað efni svæði eða fyrirmynd hlutum. Gildi og merking merkjanna er ekki hægt að breyta með því að allir raunsærri aðgerðum (notkun í samhengi). Þetta er hægt að þakka viðveru í formlegu máli á reglum setningafræði ummyndun og merkingartækni túlkun. Þeir eru oft byggð með sem grunn í stærðfræði. Vegna þess að það á öllu span þróun, sem notað er á ýmsum táknrænum heita hafa verið gerðar á ýmsum hugtökum og hlutum. Það er það sem þarf formlegar tungumálum. Þeir geta dregið verulega úr gögnum. Fyrr, ásamt formlega og náttúruleg tungumál hafa verið notuð, en með hægfara fylgikvilli efni og nauðsyn þess að gera strangar rökrétt greiningu á stærðfræði rökhugsun, það var ákveðið að yfirgefa fortíðina. Þetta ferli stóð frá XVII fyrir XX öld. Það er síðasta öld er talin mest frjósöm í skilmálar af formlegum tungumálum. ýmsar sérstakar greinar voru búnar. Svo, fyrir tölvunarfræði eru tiltekin tungumál mikilvægi forritun og algebru rökfræði, ekki aðeins fræðilega, heldur einnig frá hagnýtu sjónarmiði.

skýring

Hvað á að formlegum tungumálum má rekja, höfum við nú þegar stuttlega útskýrt. En hvað getum við sagt um þá? Formleg mál er gefið mikið af mismunandi skilgreiningum. Að skrá þau öll, mun það fara mikið af tíma, svo taka a líta á the vinsæll:

1. A einfaldur listi af orðum í tungumáli - yfirleitt segja það með tilliti til endanlegrar tegund af byggingu og um þær sem hafa einfalda uppbyggingu.
2. Orð mynda með ákveðnum formlegum málfræði.
3. Uppbygging búin til af reglulegum segðum.
4. Orð mynda af styrktaráætlun-hönnun.
5. Uppbygging, þekkist á endanlegri stöðuvél.

Við skulum líta á dæmi. Segjum að við höfum allt stafrófið, gefið tvær tölur 1 og 0. Til að sýna stafinn "O", við notum sambland af 1010001. Þessi er að nota formlegt mál. Það er líka hægt að nota orðin tóm (þegar strengur er núll lengd, og það er ekkert) með sérstaka tilnefningu í formi þekki okkur. En nánar að skilja hvað er formleg mál, hjálpa 4 dæmi sem verður gefið næst. Hvað þýðir það að gera? Til skilnings lesandans var að formleg mál má rekja. En aðeins meira um hvernig þær eru búnar til.

Framkvæmdir formlega tungumálum

Hvert tungumál er formleg uppbygging sem var búin einu sinni og einhver. Þeir eru yfirleitt byggð á sama mynstri:

1. Til að byrja, velja stafrófið, eða einhver sett af sérstökum stöfum sem verður byggt og orðasambönd sem notuð eru í tungumálinu. Með formlegum tungumál er einhver leið til að forrita með tölvu.
2. Það lýsir setningafræði, það er, einkenni og reglur sem byggja þroskandi setningar.
3. Á ákveðnum reglum um orðum og orðatiltækjum. Hér er það regla: hvaða röð bókstafa verður að vera fær um að telja orð.

Eftir formlegum tungumál er átt við hvaða byggingu sem hefur skýrar reglur - það ætti að hafa í huga. Þegar byggja, there ert sumir lögun. Þannig hugtakið "eðli" er mjög multi-hagnýtur varðar merkingu, svo að mestu leyti notað hugtakið sem "bréf". En undir þeim er hægt að skilja ekki aðeins venjulega tákn fyrir okkur, en einnig sviga, sértákn, og fleira. Þetta á aðeins við formlega tungumálum.

EXAMPLE 1

Við skulum byrja með 1 og 0. Í þeim tilvikum nota fleiri hugtakið "tíma" og "formúlu". Fyrsti virkar eins og hliðstæða hlut og nafn er notað til að vísa til eitthvað sérstakur. Fyrst af öllu að skilja fastar og einstaka breytur undir þeim. Af þeim, aftur á móti, að byggja flóknari mannvirki, sem er notað notað í sumum tungumál virka. Samkvæmt skilmálum hópsins skilja formúluna, notkun sem á vissan forritunarmál er mögulegt. Þetta "kennsla" verða afgreiddar, og sá mun fá viðkomandi niðurstöðu.

DÆMI2

Tökum sem dæmi rökfræði þar sem það er því að snúa (¬), disjunction (∧), sem samtenging (∨) og vísbendingu (⇒) og nokkrir aðrir. Í slíkum upptöku af myndum má gefa sem:

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

Eins og persónurnar A, B, C, í stað breytur og þú færð rökrétt aðgerðir. Hvar á að sækja um formlegt tungumál af þessari gerð? Útbreidd notkun slíku kerfi er að finna í forritunarmál, stærðfræði, sambönd, rökrétt og stærðfræði virka, eða hluta þess, sem hefur verið lýst sem forritari.

Example 3

Við skulum líta á flóknari rökrétt formúlum:

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

Það er þess vegna sem við þurfum formleg tungumál. Ímyndaðu þér hvað hefði gerst ef það var lýst í orðum? Nú, byggt á formúlu sem við álykta ályktanir. Þroskandi orðasambönd hægt að nálgast í formlega tungumáli þegar ákveðnar reglur eru virtar fyrirfram myndun, breyting og "skilning" á formúlur og skilmálum sem þeir eru gerðir:

1. Framkvæmdir tíma formúlur og;
2. Rannsókn á merkingartækni þáttur og túlkun;
3. Röð einni af formúlunum og öðru hugtaki.

Hver formlega tungumál ætti að vera vel sett reglur.

DÆMI 4

Vegna viðveru í reglum tungumál setningafræði framleiðsla fyrir hugtök og formúlur er hægt að gera isomorphic umbreytingu módel. Þannig að það verður að fara fram ekki aðeins spegilmynd (framsetning) ákveðna meginmál þekkingu sem þegar er fyrir hendi, en getur fengið nýjar upplýsingar. Ennfremur, umbreytingu, þó, og mun fara fram í samræmi við skýr og ströngum reglum, það er hægt að gera sjálfvirkan. Svipaðar aðferðir eru notaðar í kerfi sérfræðingur, þekkingu basa og hugbúnaður ákvörðun stuðningsvörum.

niðurstaða

Formleg mál eru mikið notaðar í vísindum, einkum í faginu. Á vísindalegum rannsóknum og framkvæmd hagnýt verkefni sem þeir geta samskipti við náttúrulega, í ljósi töluverðar svipmikill getu þess síðarnefnda. Enn formlegar tungumál geta fleiri nákvæmur miðla þekkingu og til að framkvæma hlutlæga miðlun upplýsinga sem safnast af mannkyninu.