Hvad er et formelt sprog, og hvordan adskiller det sig fra det naturlige? Hvordan blev det dannet? Hvad kan tilskrives formelle sprog? Og hvad bruges til at betegne det?
Karakterisering af formelle sprog
Dette er navnet på gruppen af kunstige sprog, derkendetegnet ved præcise regler for konstruktion af udtryk såvel som deres forståelse. Formelle sprog inkluderer systemer, der bruges til anvendte formål. De er bygget i overensstemmelse med klare regler, giver en konsistent, kompakt og nøjagtig visning af sammenhænge og egenskaber for det studerede emne eller simulerede objekter. Betydningen og betydningen af de anvendte tegn kan ikke ændre sig fra nogle pragmatiske træk (kontekst af brug). Dette er muligt på grund af tilstedeværelsen af regler for syntaktisk transformation og semantisk fortolkning på formelle sprog. Ofte er de bygget ved hjælp af matematik som base. På grund af det faktum, at der i den over hele udviklingsperioden blev anvendt forskellige symboliske notationer, der blev anvendt til forskellige koncepter og objekter. Det er, hvad formelle sprog er til. De kan reducere data markant. Tidligere blev naturlige sprog brugt sammen med formelle, men med den gradvise komplikation af emnet og behovet for at foretage en streng logisk analyse af matematiske vurderinger blev det besluttet at opgive sidstnævnte. Denne proces strakte sig fra det 17. til det 20. århundrede. Det er det sidste århundrede, der betragtes som det mest frugtbare med hensyn til udvikling af formelle sprog. Der er oprettet forskellige specialgrene. Så for datalogi er programmeringssprog og algebraer af logik af særlig betydning, ikke kun fra et teoretisk, men også fra et praktisk synspunkt.
definition
Hvad der kan tilskrives formelle sprog, vi alleredekort forklaret. Men hvad med dem selv? Formelle sprog gives mange forskellige definitioner. Det vil tage meget tid at liste dem alle sammen, så lad os blive bekendt med de mest populære:
- En simpel liste over ord, der er inkluderet i et givet sprog, tales normalt om den endelige konstruktionstype og om dem, der har en enkel struktur.
- Ord genereret af en bestemt formel grammatik.
- En struktur skabt af regelmæssige udtryk.
- Ord genereret af BNF-konstruktionen.
- En struktur genkendt af en tilstandsmaskine.
Lad os se på et eksempel.Lad os antage, at vi har hele alfabetet med to tal: 1 og 0. For at få vist bogstavet “O” bruger vi kombinationen 1010001. Dette er brugen af det formelle sprog. Det er også muligt at bruge et tomt ord (når strengen har nul længde og der ikke er noget i det) med en særlig betegnelse i den form, vi kender. Men en mere detaljeret forståelse af, hvad et formelt sprog er, vil hjælpe 4 eksempler, der vil blive givet senere. Hvad er dette til? Så læseren har forståelse for, hvad formelle sprog kan tilskrives. Men lidt mere om, hvordan de oprettes.
Konstruktion af formelle sprog
Hvert formelt sprog er en konstruktion, der engang blev skabt af nogen. De er normalt bygget efter et skema:
- Vælg først et alfabet eller et eller andettotaliteten af bestemte tegn, hvorfra de udtryk, der bruges på sproget, vil blive bygget. Formelle sprog inkluderer enhver computerprogrammeringsmetode.
- Beskriver syntaks, det vil sige de funktioner og regler, hvormed meningsfulde sætninger bygges.
- I henhold til visse regler samles ord og sætninger. Der er en regel: enhver rækkefølge af bogstaver skal kunne betragtes som et ord.
Formelle sprog inkluderer enhver konstruktion,som har klare regler - dette skal huskes. Når du bygger, er der nogle funktioner. Således er begrebet "symbol" meget alsidigt med hensyn til semantisk belastning, derfor bruger de for det meste et udtryk som "bogstav". Men de kan ikke kun betyde den sædvanlige notation for os, men også parenteser, specialtegn og meget mere. Dette gælder kun for formelle sprog.
Eksempel 1
Lad os starte med 1 og 0.I sådanne tilfælde bruges også begreberne "udtryk" og "formel". Den første fungerer som en analog til objektets navn og bruges til at betegne noget specifikt. Først og fremmest betyder de konstanter og objektvariabler. Af disse er til gengæld mere komplekse konstruktioner konstrueret, til hvilket formål den funktion, der bruges på et eller andet sprog, bruges. Med en formel menes en gruppe af udtryk, hvis brug i et bestemt programmeringssprog er muligt. Denne "instruktion" behandles, og personen får det nødvendige resultat.
Eksempel 2
Overvej et eksempel på logik, hvor der er inversion (¬), disjunktion (∧), konjunktion (∨) og implikation (⇒) og et antal andre. Følgende poster kan bruges som billeder:
- A;
- A∧B ⇒ ¬A
- ¬ (А∨¬С)
For tegnene A, B, C erstatter variablerog du får logiske handlinger. Hvor bruges formelle sprog af denne type? En sådan mekanisme har fundet udbredt anvendelse i programmeringssprog, matematik, relationer, logiske og matematiske funktioner eller individuelle dele, som blev beskrevet af programmereren selv.
Eksempel 3
Lad os se på en mere kompleks logisk formel:
¬ (А∨¬С) ⇔ ¬А∧С = 1
Derfor er der brug for formelle sprog.Forestil dig hvad der ville ske, hvis det blev beskrevet i ord? Og nu vil vi på baggrund af formlen drage konklusioner. Meningsfulde udtryk kan kun opnås på et formelt sprog, når de foruddefinerede regler for dannelse, ændring og "forståelse" af formler og udtryk, som de er sammensat af, overholdes:
- Konstruktion af udtryk og formler;
- Undersøgelse af det semantiske aspekt og fortolkning;
- Sekvensen af nogle formler og udtryk fra andre.
I hvert formelt sprog bør totaliteten af disse regler være veludviklet.
Eksempel 4
På grund af tilstedeværelsen i syntaks for regelsprogetinferens for termer og formler, isomorfe transformationer af modeller kan udføres. På denne måde er der ikke kun refleksion (repræsentation) af et bestemt sæt viden, der allerede findes, men også muligvis nye oplysninger. Endvidere er transformeringen, selvom den vil ske i henhold til klare og strenge regler, meget muligt at automatisere. Lignende teknologier bruges i ekspertsystemer, vidensbaser og beslutningsstøtte softwareprodukter.
konklusion
Formelle sprog er vidt brugt ividenskab, især inden for teknologi. Under udførelsen af videnskabelig forskning eller i gennemførelsen af praktiske aktiviteter kan de interagere med det naturlige på grund af sidstnævnte betydelige udtryksevne. Ikke desto mindre gør formelle sprog det muligt at formidle viden mere nøjagtigt og gennemføre en objektiv udveksling af information akkumuleret af menneskeheden.
