Hva formelle språk kan tilskrives? eksempler på bruken

Hva er den formelle språk og hvordan det skiller seg fra det naturlige? Hvordan den ble dannet? Hva formelle språk kan tilskrives? Og det er brukt for å referere til ham?

Kjennetegn på formelle språk

Så vi kaller en gruppe av kunstige språk, som er preget av presise regler om bygging av uttrykk, samt deres forståelse. systemer som brukes til industriformål kan tilskrives formelle språk. De er bygget i samsvar med klare regler, gir konsistent, kompakt og nøyaktig visning av egenskapene og forbindelser av det studerte fagområdet eller modellerte gjenstander. Verdien og betydningen av merkene kan ikke endres på noen pragmatiske funksjoner (bruk av konteksten). Dette er mulig takket være tilstedeværelsen i den formelle språket av reglene for syntaks konvertering og semantisk tolkning. De er ofte bygget ved hjelp av som en base av matematikk. På grunn av det faktum at det i det hele span av utviklingen, brukt en rekke symbolske betegnelser har blitt brukt på en rekke konsepter og objekter. Det er hva som må formelle språk. De kan redusere data. Tidligere, sammen med de formelle og naturlige språk har blitt brukt, men med gradvis komplikasjon av faget og behovet for å gjøre et strengt logisk analyse av matematiske resonnement, ble det besluttet å forlate fortiden. Denne prosessen varte fra XVII til XX århundre. Det er det siste tallet er regnet som den mest fruktbare i form av formelle språk. en rekke spesielle grener ble opprettet. Så, for informatikk er av særlig betydning programmeringsspråk og algebra av logikk, ikke bare teoretisk, men også fra et praktisk synspunkt.

definisjon

Hva formelle språk kan tilskrives, har vi allerede kort forklart. Men hva kan vi si om dem? Formspråk er gitt en rekke definisjoner. Å liste dem alle, vil det la mye tid, så ta en titt på de mest populære:

1. En enkel liste over ord i språket - som regel si det med hensyn til den endelige type konstruksjon og om de som har en enkel struktur.
2. Ord som genereres av en viss formell grammatikk.
3. Strukturen er laget av regulære uttrykk.
4. Ord som genereres av BPF-design.
5. Strukturen, gjenkjennelig med en endelig automat.

La oss se på et eksempel. La oss si at vi har hele alfabetet, gitt to tallene 1 og 0. Hvis du vil vise bokstaven "O", bruker vi en kombinasjon av 1010001. Dette er bruk av et formelt språk. Det er også mulig å bruke tomme ord (når strengen har null lengde, og det er ingenting) med en spesiell betegnelse i form kjent for oss. Men i mer detalj for å forstå hva som er et formelt språk, bidra 4 eksempler som vil bli gitt neste. Hva gjør den? Til leserens forståelse var at et formelt språk kan tilskrives. Men litt mer om hvordan de er laget.

Bygging av formelle språk

Hvert språk er en formell struktur som ble opprettet en gang og noen. De er vanligvis bygget på samme mønster:

1. For å begynne, velg alfabetet, eller noen sett av spesifikke tegn som vil bli bygget og uttrykk som brukes i språket. Ved formspråket er noen måte å programmere ved hjelp av en datamaskin.
2. Den beskriver syntaksen, som er, egenskaper og regler som vil bygge meningsfulle setninger.
3. På visse regler for ord og uttrykk. Her er det en regel: enhver sekvens av bokstaver må være i stand til å telle ord.

Av formspråk refererer til en struktur som har klare regler - det bør bli husket. Når du bygger, er det noen funksjoner. Dermed blir uttrykket "tegn" er svært multi-funksjonelle i form av betydning, så for det meste brukes begrepet som en "brev". Men under dem kan forstås ikke bare vanlig notasjon for oss, men også brakettene, spesialtegn og mer. Dette gjelder kun for formelle språk.

EKSEMPEL 1

La oss starte med 1 og 0. I slike tilfeller må du bruke mer begrepet "term" og "formel". Den første virker som en analog av gjenstanden og navn som brukes for å referere til noe bestemt. Først av alt forstår konstanter og individuelle variabler under dem. Av disse igjen, bygge mer komplekse strukturer, som brukes som brukes i noen språk funksjon. Under betingelsene i gruppen forstå formelen, er det mulig å benytte som i en viss programmeringsspråk. Denne "instruksjon" vil bli behandlet, og personen vil få ønsket resultat.

Eksempel 2

Tenk for eksempel på logikken i hvilken det er en inversjon (¬), motsetninger (∧), idet forbindelse (∨) og implikasjonen (⇒) og flere andre. I et slikt opptak av bilder kan gis som:

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

Som tegnene A, B, C, erstatte variablene, og du får den logiske operasjoner. Hvor kan man søke formelle språk av denne typen? Den utbredte bruken av en slik mekanisme er funnet i programmeringsspråk, matematikk, relasjoner, logiske og matematiske funksjoner, eller deler av disse har blitt beskrevet av programmereren.

EKSEMPEL 3

La oss se på noen mer komplekse logiske formler:

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

Det er derfor vi trenger formelle språk. Tenk hva som ville skjedd hvis det ble beskrevet med ord? Nå, basert på en formel utlede vi konklusjoner. Menings uttrykk kan oppnås i formspråket bare når visse regler blir respektert pre-formasjon, endring og "forståelse" av formler og betingelser som de er laget:

1. Bygging sikt formler og;
2. Studie av den semantiske aspektet og tolkning;
3. Sekvensen av en av de formler og andre sikt.

Hver formspråk bør være godt etablert sett av regler.

Eksempel 4

På grunn av tilstedeværelsen i reglene for språksyntaks utgang for betingelser og formler kan gjøres isomorfe transformasjonsmodeller. Så det vil bli utført ikke bare refleksjon (representasjon av) en bestemt mengde kunnskap som allerede eksisterer, men kan motta ny informasjon. Videre transformasjon, skjønt, og vil foregå i henhold til klare og strenge regler, kan det være automatisert. Lignende teknikker er brukt i ekspertsystemer, kunnskapsbaser og programvare beslutningstøtteprodukter.

konklusjon

Formelle språk er mye brukt i vitenskap, spesielt på området. I løpet av vitenskapelig forskning og gjennomføring av praktiske aktiviteter de kan samhandle med den naturlige, i lys av de betydelige ekspressive evner av sistnevnte. Likevel formelle språk kan mer presist formidle kunnskap og å gjennomføre en objektiv utveksling av informasjon akkumulert av menneskeheten.