Hvad formelle sprog kan henføres? eksempler på anvendelse

Hvad er det formelle sprog og hvordan det adskiller sig fra den naturlige? Hvordan det blev dannet? Hvad formelle sprog kan henføres? Og det bliver brugt til at referere til ham?

Karakteristik af formelle sprog

Så vi kalder en gruppe af kunstige sprog, som er karakteriseret ved præcise regler for opførelsen af udtryk, samt deres forståelse. systemer, der anvendes til industrielle formål kan tilskrives formelle sprog. De er bygget i overensstemmelse med de klare regler, give konsistente, kompakt og præcis visning af ejendommene og relationer studeret fagområde eller modellerede objekter. Værdien og betydningen af de mærker kan ikke ændres af nogen pragmatiske funktioner (brug af kontekst). Dette er muligt takket være tilstedeværelsen i den formelle sprog af reglerne i syntaks konvertering og semantisk fortolkning. De er ofte bygget ved hjælp af som en base af matematik. På grund af det faktum, at det i det hele spektret af udviklingen, har anvendt en række symbolske betegnelser er blevet anvendt på en række forskellige koncepter og objekter. Det er, hvad der skal formelle sprog. De kan reducere data betydeligt. Tidligere, sammen med de formelle og naturlige sprog er blevet brugt, men med den gradvise komplikation af emnet og behovet for at gøre en streng logisk analyse af matematiske ræsonnement, blev det besluttet at opgive fortiden. Denne proces varede fra XVII til XX århundrede. Det er det sidste århundrede betragtes som den mest frugtbare i form af formelle sprog. forskellige specielle grene blev skabt. Så for datalogi er særlig vigtige programmeringssprog og den algebra af logik, ikke kun teoretisk, men også ud fra et praktisk synspunkt.

definition

Hvad formelle sprog kan tilskrives, har vi allerede kort forklaret. Men hvad kan vi sige om dem? Formel sprog er givet en masse forskellige definitioner. For at nævne dem alle, vil det efterlade en masse tid, så tag et kig på de mest populære:

1. En simpel liste med ord i sproget - plejer at sige, så i forhold til den endelige form for byggeri og om dem, der har en simpel struktur.
2. Ord der genereres af en vis formel grammatik.
3. Strukturen er skabt af regulære udtryk.
4. Ord genereret af BPF-design.
5. Strukturen, der kan genkendes af en endelig automat.

Lad os se på et eksempel. Lad os sige, at vi har hele alfabetet, givet to tal 1 og 0. For at vise bogstavet "O", bruger vi en kombination af 1010001. Dette er brugen af et formelt sprog. Det er også muligt at bruge tomme ord (når strengen har nul længde, og der er ikke noget) med en særlig betegnelse i form velkendt for os. Men mere detaljeret at forstå, hvad der er et formelt sprog, hjælpe 4 eksempler, der vil blive givet næste. Hvad gør den? Til læserens forståelse var, at en formel sprog kan henføres. Men lidt mere om, hvordan de er skabt.

Konstruktion af formelle sprog

Hvert sprog er en formel struktur, der blev dannet i det øjeblik og nogen. De er som regel bygget på det samme mønster:

1. Til at begynde, vælg alfabetet, eller nogle sæt specifikke tegn, der vil blive bygget og udtryk i sproget. Ved den formelle sprog er nogen måde at programmere ved hjælp af en computer.
2. Den beskriver syntaks, der er, karakteristika og regler, der vil bygge meningsfulde sætninger.
3. På visse regler for ord og udtryk. Her er der en regel: enhver sekvens af bogstaver skal være i stand til at tælle ord.

Ved formelt sprog henviser til enhver struktur, der har klare regler - det bør huskes. Når man bygger, er der nogle funktioner. Udtrykket "karakter" er meget multi-funktionelle, hvad angår betydning, så for det meste brugt udtrykket som en "brev". Men under dem kan forstås ikke blot den sædvanlige notation for os, men også beslagene, specialtegn, og mere. Dette gælder kun for formelle sprog.

EKSEMPEL 1

Lad os starte med en og 0. I sådanne tilfælde skal du bruge mere begrebet "udtrykket" og "formel". Den første virker som en analog af objektet og det navn, der anvendes til at henvise til noget konkret. Først og fremmest forstå de konstanter og individuelle variabler under dem. Af disse er til gengæld bygge mere komplekse strukturer, som bruges som anvendes i nogle sprog funktion. I henhold til den gruppe forstår formlen, hvis anvendelse i et bestemt programmeringssprog er mulig. Denne "instruktion" vil blive behandlet, og personen vil få det ønskede resultat.

Eksempel 2

Betragt eksempel logik, hvor der er en inversion (¬), disjunktion (∧), sammenholdt (∨) og konsekvenser (⇒) og flere andre. I en sådan optagelse af billeder kan gives som:

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

Da tegnene A, B, C, erstatte de variabler, og du får de logiske operationer. Hvor ansøges formelle sprog af denne type? Den udbredte anvendelse af en sådan mekanisme findes i programmeringssprog, matematik, relationer, logiske og matematiske funktioner eller dele af som er blevet beskrevet af programmøren.

EKSEMPEL 3

Lad os se på et mere komplekse logiske formler:

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

Det er derfor, vi har brug for formelle sprog. Forestille sig, hvad der ville være sket, hvis det blev beskrevet i ord? Nu, baseret på en formel, vi udlede konklusioner. Meningsfulde udtryk kan fås i den formelle sprog, når visse regler overholdes præ-dannelse, forandring og "forståelse" af de formler og vilkår, som de er lavet:

1. Byggeri sigt formler og;
2. Undersøgelse af det semantiske aspekt og fortolkning;
3. Sekvensen af én af formlerne og andre vilkår.

Hver formelle sprog skal være veletableret regelsæt.

Eksempel 4

På grund af tilstedeværelsen i reglerne for sproget syntaks output til udtryk og formler kan gøres isomorfe transformation modeller. Så det vil blive gennemført ikke kun den refleksion (repræsentation af) en bestemt mængde viden, der allerede eksisterer, men kan modtage ny information. Hertil kommer, at transformation, selv om, og vil finde sted i henhold til klare og strenge regler, kan det automatiseres. Lignende teknikker anvendes i ekspertsystemer, vidensbaser, og software beslutningsstøttesystemer produkter.

konklusion

Formelle sprog er meget udbredt inden for videnskab, især inden for faget. Under den videnskabelige forskning og gennemførelse af praktiske aktiviteter kan de interagerer med den naturlige, i betragtning af de betydelige udtryksfulde evner af sidstnævnte. Alligevel formelle sprog kan mere præcist formidle viden og til at foretage en objektiv informationsudveksling akkumuleret ved menneskeheden.