Kaj naj uradnih jezikih je mogoče pripisati? Primeri uporabe

Kaj je formalni jezik in kako se razlikuje od naravno? Kako je bila ustanovljena? Kaj naj uradnih jezikih je mogoče pripisati? In se uporablja v zvezi z njim?

Značilnosti uradnih jezikov

Zato pravimo skupino umetnih jezikov, za katere je značilno natančnimi pravili o gradnji izrazov, kot tudi njihovo razumevanje. Sistemi, ki se uporabljajo za industrijske namene lahko pripišemo uradnih jezikih. Vgrajeni so v skladu z jasnimi pravili, zagotavljajo dosledno, kompakten in natančen prikaz lastnosti in odnosov obravnavanega predmetnega področja ali modelnih objektov. Vrednost in pomen znamk ni mogoče spreminjati na kakršen koli pragmatičnih značilnosti (uporaba kontekstu). To je mogoče zaradi prisotnosti v formalnem jeziku pravil preračunavanja, skladnje in pomensko razlago. Pogosto so zgrajene z uporabo kot osnove matematike. Glede na to, da je na celotnem obdobju razvoja, ki se uporabljajo v različnih simbolnih poimenovanj, ki so bili uporabljeni za različne koncepte in predmetov. To je tisto, kar potrebuje formalne jezikov. Lahko bistveno zmanjša podatkov. Prej, skupaj s formalnimi in naravnih jezikov, so bili uporabljeni, vendar s postopnim zaplet predmeta in potrebo, da bi strogo logično analizo matematičnega sklepanja, je bila sprejeta odločitev, da opusti preteklost. Ta proces je trajal od XVII k XX stoletja. To je zadnja stoletja velja za najbolj plodno v smislu uradnih jezikov. so nastale različne posebne veje. Torej, za računalništvo in informatiko, so posebnega pomena programskih jezikov in algebre logike, ne le teoretično, ampak tudi s praktičnega vidika.

opredelitev

Kaj naj uradnih jezikih je mogoče pripisati, smo že na kratko razložil. Toda, kaj lahko rečemo o njih? Formalni jezik je dal veliko različnih definicij. Da jim seznam vseh, bo pustil veliko časa, zato si oglejte najbolj priljubljenih:

1. Preprost seznam besed v jeziku - ponavadi tako pravijo v zvezi s končnim vrsto konstrukcije in o tistih, ki imajo preprosto strukturo.
2. Besede, ki jih ustvari neke formalne slovnice.
3. Struktura z rednimi izrazov ustvaril.
4. Besede, ki jih ustvari BPF-design.
5. Struktura, prepoznaven po končnega avtomata.

Poglejmo primer. Recimo, da imamo celo abecedo, saj dve številki 1 in 0. Za prikaz črko "O", smo uporabili kombinacijo 1010001. To je uporaba uradnega jezika. Prav tako je možno uporabiti prazne besede (če ima niz ničelne dolžine, in ni nič), s posebno označbo v obliki poznajo nas. Toda podrobneje razumeti, kaj je uradni jezik, pomagal 4 primere, ki bodo podane naslednje. Kaj počne? Za razumevanje bralca je, da se uradna jezika lahko pripišemo. Ampak malo več o tem, kako so ustvarili.

Gradnja formalnih jezikov

Vsak jezik je formalna struktura, ki je bil ustvarjen, ko nekdo. Običajno so zgrajene na istem vzorcu:

1. Za začetek, izberite abecedo, ali neko vrsto posebnih znakov, ki bo zgrajena in izraze, ki se uporablja v jeziku. Do formalnega jezika kakršen koli način, da program s pomočjo računalnika.
2. To opisuje sintakso, ki je, značilnosti in pravila, ki bodo gradili smiselnih stavkov.
3. Na nekaterih pravil za besed in izrazov. Tu obstaja pravilo: vsak zaporedje črk mora biti sposoben prešteti besede.

Do formalnega jezika se nanaša na vsako strukturo, ki ima jasna pravila - je treba opozoriti. Pri gradnji, so nekatere funkcije. Tako izraz "znak", je zelo večnamenski pomensko, tako da večinoma uporablja izraz kot "pismo". Toda pod njimi je mogoče razumeti, ne le običajni zapis za nas, temveč tudi nosilci, posebne znake, in še več. To velja le za formalne jezike.

PRIMER 1

Začnimo z 1 in 0. V takih primerih uporabiti bolj koncept "izraz" in "formule". Prvi deluje kot analogni objekta in ime, uporabljeno za nekaj posebnega. Najprej razumeti konstante in posamezne spremenljivke iz njih. Od teh, v zameno gradijo bolj kompleksne strukture, ki se uporablja, ki se uporabljajo v nekaterih jezikov funkcijo. Pod pogoji iz skupine razumejo formulo, katerih uporaba v določenem programskem jeziku je mogoče. Ta "navodilo", bodo obdelani, in oseba, ki bo dobil želenega rezultata.

PRIMER 2

Razmislite primer logiko, v katerem je inverzija (¬), disjunkcije (∧), veznik (∨) in posledice (⇒) in številne druge. V takem snemanju slik je mogoče uporabiti kot:

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

Kot znaki A, B, C, nadomestiti spremenljivke in dobiš logične operacije. Kje se uporablja formalnih jezikov te vrste? Široka uporaba takega mehanizma najdemo v programskih jezikov, matematike, razmerja, logičnih in matematičnih funkcij ali delov, ki so bili opisani programer.

Primer 3

Oglejmo si na bolj kompleksnih logičnih formul:

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

Zato moramo formalnih jezikov. Predstavljajte si, kaj bi se zgodilo, če bi bila opisana z besedami? Zdaj, na podlagi formule, ki jo izpeljemo sklepe. Pomembni izrazi mogoče pridobiti v formalnem jeziku, ko so nekatera pravila spoštujejo pre-nastanek, sprememba in "razumevanja" formul in pogoji, pod katerimi so bili izdelani:

1. Gradbena dolgoročne formule in;
2. Študija semantičnega vidika in interpretacijo;
3. Zaporedje eni od formul in drugih rok.

Vsak formalni jezik, mora biti dobro oblikovanim nizom pravil.

Primer 4

Zaradi prisotnosti pravil skladnje jezikovnega izhod za izrazov in formul se lahko izvede isomorphic modelov transformacije. Tako se bo izvedla, ne samo za razmislek (predstavitev) posebno telo znanja, ki že obstaja, vendar lahko prejeli nove informacije. Poleg tega, preoblikovanje, čeprav, in bo potekal na jasnih in strogih pravil, je lahko avtomatizirano. Podobne metode se uporabljajo v ekspertnih sistemov, baz znanja in izdelkov za podporo odločanju programske opreme.

zaključek

Formalni jeziki se pogosto uporabljajo v znanosti, zlasti v umetnosti. V znanstvenem raziskovanju in izvajanju praktičnih dejavnosti, ki jih lahko interakcijo z naravno, glede na precejšnje izraznih sposobnosti slednjega. Kljub formalni jeziki lahko bolj natančno podajati znanje in opraviti objektivno izmenjavo informacij, ki jih človeštvo nabralo.