Hizkuntza formal zein egotzitako daiteke? erabilera adibide

Zer da hizkuntza formala eta nola desberdina naturala da? Nola sortu zen? Hizkuntza formal zein egotzitako daiteke? Eta hura aipatzeko erabiltzen da?

Hizkuntza formal ezaugarriak

Beraz talde bat deitu dugu hizkuntzetan artifiziala, diren esamoldeak eraikitzea buruzko arauak zehatzak, baita beren ulermena ezaugarri. industrial helburuetarako erabili sistemetan egon hizkuntzetan formal egotzitako. Dute argi arauak betez eraiki dira, ematen ezaugarriak eta aztertu harremanak bistaratzea koherentea, trinko eta zehatza gaiaren inguruan edo moldatu objektuak. balioa eta esanahia markak du ezin dela edozein ezaugarri pragmatikoak (testuingurua erabiltzea) aldatu. Hau sintaxia bihurtzeko eta interpretazio semantikoa arauak hizkuntzan formal presentzia esker. ohi dira eraiki dute matematikaren oinarri gisa erabiliz. Izan ere, hori da, garapen span oro har, izendapen sinbolikoa hainbat erabili dira kontzeptu eta hainbat objektu aplikatu. Horixe behar hizkuntzetan formal. datuen nabarmen murrizten dute. Lehenago, hizkuntzak formal eta natural batera erabili dira, baina apurka-apurka gaia eta beharra arrazoibide matematiko analisi logikoa zorrotza egiteko arau batera, zen iraganean bertan behera uztea erabaki zuen. Prozesu hori XX mendearen den XVII batetik iraun zuen. Azken mendean oparoenetako jotzen da hizkuntzak formal dagokionez da. hainbat adar bereziak sortu ziren. Beraz, informatika ez bakarrik teorikoa, baina baita ikuspuntu praktiko batetik garrantzia programazio hizkuntza zehatz eta logika algebran dira.

definition

Zer hizkuntzatan formal egotzitako daiteke, dagoeneko badugu laburki azaldu. Baina zer ditzaket gara? Formala hizkuntza definizioak desberdinak asko ematen da. Horietako zerrendara guztiak, denbora asko utziko du, eta, beraz ezagunenetako begirada bat hartu:

1. hizkuntzan hitz-zerrenda soil bat - normalean esan hain eraikuntza azken motaren eta egitura sinpleak izan direnak buruz dagokionez.
2. gramatika formal jakin bat sortutako hitzak.
3. Egitura adierazpen erregular sortu.
4. du BPF-diseinua sortutako hitzak.
5. Egitura, ezagut automata finitu batek.

Dezagun adibide bat bilatzeko. Demagun alfabeto osoa, emandako bi zenbaki 1 eta 0. letra "O" erakutsi dugu, erabiltzen dugu 1010001. Hau konbinazio bat hizkuntza formal bat erabiltzea da. Ere posible da hitz hutsak erabili (noiz katea zero luzera du, eta ez dago ezer) inprimakia gurekin ezagunak ere izendapen berezi batekin. Baina xehetasun gehiago zer hizkuntza formal bat da ulertzeko, 4 adibide hori hurrengo emango zaie laguntza. Zer egiten du? irakurlearen ulermena zen hizkuntza formal bat da, egotzitako daiteke. Baina nola sortu dira buruz pixka bat gehiago.

Hizkuntza formal eraikitzea

Hizkuntza bakoitzak egitura formal bat behin eta norbaitek sortu zen. Izan ohi dira, eredua bera gainean eraikia:

1. Hasteko, aukeratu alfabetoa, edo eraikiko dira eta hizkuntza erabilitako esamoldeak karaktere jakin multzo batzuk. hizkuntza-formal By inolaz ordenagailu bat erabiliz programatu da.
2. sintaxia, hau da, ezaugarri eta arau hori esanguratsua esaldiak eraikiko deskribatzen du.
3. Hitz eta esamolde arau jakin batzuetan. Hemen ez arau bat da: edozein letren sekuentzia hitzak zenbatu ahal izan behar dute.

Hizkuntza formal By arau argi dauka inolako egitura aipatzen - gogoratu behar da. eraikitzen denean, ezaugarri batzuk daude. Horrela, epe "pertsonaia" oso esanahi aldetik funtzio anitzeko, beraz, zati handiena, terminoa erabili "letra" gisa. Baina haien azpian uler daiteke, ez bakarrik guretzat ohiko idazkera, baina baita parentesi, karaktere bereziak, eta gehiago. Hau hizkuntzetan formal bakarrik aplikatzen zaie.

1. adibidea

Dezagun 1 eta 0. batera Kasu horietan, gehiago erabili "terminoa" eta kontzeptua "formula". Lehena objektuaren analogikoa eta zerbait espezifikoa aipatzeko izen gisa jarduten. Lehenik eta konstanteak eta banakako aldagai hauen azpian ulertzen. Horietatik, aldi berean, egitura konplexuagoa da, eta zenbait hizkuntzaren funtzioa erabili erabili eraikitzeko. taldearen baldintzapean ulertzen formula, eta horrek erabilera programazio hizkuntza jakin batean posible da. "Instrukzio" Hau tratatuko dira, eta pertsona nahi den emaitza lortuko.

2. adibidea

Demagun adibidez logika eta bertan egon baten inbertsioa (¬), disjuntzioa da (∧), batera etorri (∨) eta inplikazioa (⇒) eta beste batzuk. irudien grabaketa horietan egon moduan eman daitezke:

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

A, B, C, ordezkatuko pertsonaiak bezala aldagai eta zuk logikoa eragiketak. Non mota honetako hizkuntzetan formal eskatzen da? Mekanismo horren erabilera oso zabalduta dago programazio hizkuntzak, matematika, harremanak, logikoa eta matematiko funtzio edo zati horietatik dute programatzaile deskribatzen aurkitu.

3. adibidea

Dezagun formulak logikoa konplexuago batean:

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

Horregatik hizkuntzetan formal behar dugu. Imajinatu zer gertatuko litzatekeen esanda zen deskribatzen badu? Orain, oinarritutako formula buruzko ondorioak ondorioztatu dugu. Esanguratsuak adierazpen hizkuntza formal lor daitezke denean bakarrik arau batzuk daude errespetatzen pre-eraketa, aldaketa eta "ulertzeko" formulak eta baldintza horietatik eginak diren:

1. Eraikuntza epe formulak eta;
2. alderdi semantikoa eta interpretazio Study;
3. formulak eta beste epe bat sekuentzia.

Hizkuntza formal bakoitzak behar da ondo ezarritako arauak ezarri.

4. adibidea

Dela hizkuntza sintaxia termino eta formulak irteera arauak presentzia egin daiteke isomorfoak eraldaketa ereduak. Beraz, egingo da, ez bakarrik isla da (errepresentazio) dagoeneko existitzen dela ezagutza gorputza zehatz bat, baina informazio gehiago jaso ahal izango du. Gainera, eraldaketa, ordea, eta bertan izango dira arau argi eta zorrotza arabera, automatizatu egin daiteke. Antzeko teknikak erabiltzen dira sistema adituak, ezagutza oinarriak, eta software erabakiak hartzen laguntzeko produktuak.

ondorio

Formala hizkuntzetan oso zabaldua zientzia erabiltzen dira, batez ere artea. ikerketa zientifiko eta jarduera praktikoak ezartzeko garaian zuten natural elkarreragin dezakete, handia, azken honen gaitasun adierazkorra ikusirik. Hala hizkuntzetan formal daiteke zehatzago helarazi ezagutza eta metatutako gizadiaren informazioa trukatzeko objektiboa burutzeko.