Vad ska formella språk kan hänföras? exempel på användning

Vad är den formella språket och hur det skiljer sig från det naturliga? Hur det bildades? Vad ska formella språk kan hänföras? Och det används för att hänvisa till honom?

Kännetecken för formella språk

Så vi kallar en grupp konstgjorda språk, som kännetecknas av exakta regler för konstruktion av uttryck, liksom deras förståelse. system som används för industriella ändamål kan hänföras till formella språk. De är byggda i enlighet med tydliga regler, ger konsekvent, kompakt och exakt visning av egenskaper och relationer studerade ämnesområdet eller modellerade föremål. Värdet och betydelsen av varumärkena kan inte ändras av några pragmatiska funktioner (användning av sammanhanget). Detta är möjligt tack vare närvaron i formellt språk av reglerna för syntax konvertering och semantisk tolkning. De är ofta byggda med som bas i matematik. På grund av det faktum att det på det hela taget span utvecklings använt en rad symboliska beteckningar har använts på en mängd olika begrepp och objekt. Det är vad som behöver formella språk. De kan avsevärt minska data. Tidigare tillsammans med de formella och naturliga språk har använts, men med den gradvisa komplikation av ämnet och behovet av att göra en strikt logisk analys av matematiska resonemang, beslutades det att överge det förflutna. Denna process pågick från XVII till XX-talet. Det är det senaste århundradet anses vara den mest givande när det gäller formella språk. olika specialgrenar skapades. Så, för datavetenskap är av särskild betydelse programmeringsspråk och algebra av logik, inte bara teoretisk, men också från en praktisk synvinkel.

definition

Vad ska formella språk kan tillskrivas, redan har vi kortfattat förklaras. Men vad kan vi säga om dem? Formellt språk ges en mängd olika definitioner. Att räkna upp dem alla, kommer det att lämna en hel del tid, så ta en titt på de mest populära:

1. En enkel lista med ord i språket - brukar säga så i förhållande till den slutliga typ av konstruktion och om de som har en enkel struktur.
2. Ord som genereras av en viss formell grammatik.
3. Strukturen skapas av reguljära uttryck.
4. Ord som genereras av BPF-design.
5. Strukturen, kan kännas igen av en ändlig automat.

Låt oss titta på ett exempel. Låt oss säga att vi har hela alfabetet, med tanke på två nummer 1 och 0. För att visa bokstaven "O", använder vi en kombination av 1010001. Detta är användningen av ett formellt språk. Det är också möjligt att använda tomma ord (när strängen har noll längd, och det finns ingenting) med en speciell beteckning i form bekant för oss. Men mer i detalj för att förstå vad som är ett formellt språk, hjälpa 4 exempel som kommer att ges nästa. Vad gör det? Till läsarens uppfattning var att ett formellt språk kan tillskrivas. Men lite mer om hur de skapas.

Konstruktion av formella språk

Varje språk är en formell struktur som skapades en gång och någon. De är oftast byggda på samma mönster:

1. Till att börja, välj alfabetet, eller någon uppsättning särskilda tecken som kommer att byggas och uttryck som används i språket. Genom den formella språket är något sätt att programmera med hjälp av en dator.
2. Den beskriver syntaxen, det vill säga egenskaper och regler som kommer att bygga meningsfulla meningar.
3. På vissa regler för ord och uttryck. Här finns det en regel: varje sekvens av bokstäver måste kunna räkna ord.

Genom formellt språk avser varje struktur som har tydliga regler - man bör komma ihåg. När man bygger, det finns vissa funktioner. Således är termen "tecken" mycket multifunktionella vad gäller innebörd, så för det mesta använde termen som ett "letter". Men under dem kan förstås inte bara den vanliga beteckningen för oss, utan även parentes specialtecken, med mera. Detta gäller endast för formella språk.

EXEMPEL 1

Låt oss börja med en och 0. I sådana fall kan du använda mer begreppet "term" och "formel". Den första fungerar som en analog av objektet och det namn som används för att hänvisa till något specifikt. Först och främst förstå konstanter och enskilda variabler under dem. Av dessa i sin tur bygga mer komplexa strukturer, som används som används i vissa språk funktion. Enligt villkoren i gruppen förstår formeln är det möjligt att använda vilken på ett visst programmeringsspråk. Denna "instruktion" kommer att behandlas, och personen kommer att få det önskade resultatet.

EXEMPEL 2

Betrakta exemplet logiken i vilken det finns en inversion (¬), disjunktion (∧), konjunktion (∨) och implikation (⇒) och flera andra. I en sådan inspelning av bilder kan ges som:

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

Som tecknen A, B, C, ersätta variablerna och du får de logiska operationer. Var kan man tillämpa formella språk av detta slag? Den utbredda användningen av en sådan mekanism finns i programmeringsspråk, matematik, förhållanden, logiska och matematiska funktioner, eller delar av, som har beskrivits av programmeraren.

EXEMPEL 3

Låt oss titta på en mer komplex logiska formler:

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

Det är därför vi behöver formella språk. Tänk vad som skulle ha hänt om det beskrevs i ord? Nu, baserat på en formel som vi härleda slutsatser. Meningsfulla uttryck kan erhållas i den formella språket endast när vissa regler respekteras pre-formation, förändring och "förståelse" av formler och villkor som de är gjorda:

1. Konstruktion sikt formler och;
2. Studie av den semantiska aspekten och tolkning;
3. Sekvensen av en av formlerna och andra sikt.

Varje formellt språk bör väletablerade uppsättning regler.

EXEMPEL 4

På grund av närvaron i reglerna i språket syntax utgång för termer och formler kan göras isomorfa transformationsmodeller. Så det kommer att genomföras inte bara reflektion (representation) en viss mängd kunskap som redan finns, men kan få ny information. Dessutom omvandlingen, dock, och kommer att äga rum i enlighet med tydliga och strikta regler, kan den automatiseras. Liknande tekniker används i expertsystem, kunskapsbaser och beslutsprogramvarusupport produkter.

slutsats

Formella språk används ofta inom vetenskapen, särskilt inom området. Under den vetenskapliga forskningen och genomförandet av praktiska aktiviteter kan de interagerar med den naturliga, med tanke på de stora uttrycksförmåga på det senare. Ändå formella språk kan mer exakt förmedla kunskap och att genomföra en objektiv informationsutbyte som ackumulerats av mänskligheten.