Co lze přičíst formálním jazykům? Příklady použití

Co je formální jazyk a jak se liší od přirozeného jazyka? Jak se to stalo? Co lze přičíst formálním jazykům? A co to znamená?

Charakteristika formálních jazyků

Tak pojmenujte skupinu umělé jazyky, které jsou charakterizovány přesnými pravidly týkajícími se konstrukce výrazů, jakož i jejich porozumění. Formální jazyky zahrnují systémy používané k aplikovaným účelům. Jsou postaveny v souladu s jasnými pravidly, poskytují konzistentní, kompaktní a přesné mapování vztahů a vlastností studovaných oblasti předmětu nebo simulovaných objektů. Význam a smysl používaných znaků se nemění z některých pragmatických rysů (kontextu použití). To je možné z důvodu přítomnosti pravidel syntaktické transformace a sémantického výkladu ve formálních jazycích. Často jsou konstruovány, když se používají jako základy matematiky. Vzhledem k tomu, že v něm byly po celou dobu vývoje použity různé symbolické symboly používané pro různé pojmy a objekty. To jsou formální jazyky. Umožňují výrazně snížit data. Dříve byly spolu s formálními, přirozenými jazyky použity, ale s postupnou komplikací předmětu a potřebou provést přísnou logickou analýzu matematických úsudků bylo rozhodnuto opustit tento. Tento proces se táhl od XVII. Do XX. Století. Je to poslední století, které je považováno za nejplodnější z hlediska vývoje formálních jazyků. Byly vytvořeny různé speciální větve. Například pro informatiku, programovací jazyky a logiku algebry mají zvláštní význam, a to nejen z teoretického hlediska, ale i z praktického hlediska.

Definice

Co lze připsat formálním jazykům, jsme již stručně vysvětlili. Ale co sami? Formální jazyky mají mnoho různých definic. Chcete-li je všechny uvést, bude to trvat spoustu času, takže se seznámíme s nejoblíbenějšími:

1. Jednoduchý seznam slov, které jsou obsaženy v daném jazyce - obvykle tak mluví o konečném typu konstrukce ao těch, které mají jednoduchou strukturu.
2. Slova generovaná určitou formální gramatikou.
3. Struktura vytvořená regulárními výrazy.
4. Slova generovaná výstavbou společnosti BNF.
5. Struktura uznaná strojem s konečným stavem.

Podívejme se na příklad. Předpokládejme, že máme celou abecedu danou dvěma číslicemi: 1 a 0. Chcete-li zobrazit písmeno "O", použijeme kombinaci 1010001. Toto je použití formálního jazyka. Je také možné použít prázdné slovo (když řetězec má nulovou délku a nic v něm není) se zvláštním označením ve formě, kterou známe. Podrobnější pochopení toho, co formální jazyk, pomůže 4 příklady, které budou dále poskytnuty. Co to je? Že čtenář pochopil, že je možné přiřadit k formálním jazykům. Ale trochu víc o tom, jak jsou vytvořeny.

Výstavba formálních jazyků

Každý formální jazyk je stavba, kterou někdy a někdo vytvořil. Obvykle jsou postaveny podle jednoho schématu:

1. Pro začátečníky zvolte abecedu nebo určitou sbírku určitých symbolů, z nichž budou vybudovány výrazy používané v jazyce. Pro formální jazyky je jakýkoliv způsob programování pomocí počítače.
2. Popisuje syntaxi, tj. Vlastnosti a pravidla, na kterých budou vytvořeny smysluplné věty.
3. Podle určitých pravidel se skládají slova a výrazy. Existuje pravidlo: jakákoli posloupnost písmen by měla být považována za slovo.

Pro formální jazyky je každý návrh, který má jasná pravidla - toto by mělo být zapamatováno. Při konstrukci existují některé funkce. Takže pojem "symbol" je z hlediska sémantického zatížení velmi mnohofunkční, a proto se v jeho hmotě používá termín "dopis". Ale pod nimi dokáže pochopit nejen obvyklé notace pro nás, ale i závorky, speciální značky a mnohem víc. To se týká pouze formálních jazyků.

Příklad 1

Začněme 1 a 0. V takových případech se používají termíny "termín" a "vzorec". První funguje jako analogový název objektu a používá se k označení konkrétního. Především znamenají konstanty a objektivní proměnné. Z nich jsou postaveny složitější konstrukce, pro které je použita funkce v nějakém jazyce. Vzorem se rozumí skupina pojmů, jejíž použití je v konkrétním programovacím jazyce možné. Tato "instrukce" bude zpracována a osoba obdrží potřebný výsledek.

Příklad 2

Uvažujme příklad logiky, ve kterém je inverze (není-), disjunkce (a-), spojky (nebo-) a implikace (rArr-) a několik dalších. Jako obrázky můžete napsat takové záznamy:

1. A;
2. Aand-B rArr- ne-A
3. ne- (Aor-ne-C)

Jak symboly A, B, C nahradit proměnné a dostanete logické operace. Kde se používají formální jazyky tohoto typu? Široké využití takového mechanismu nalezeného v programovacích jazycích, matematice, vztazích, logických a matematických funkcích nebo jednotlivých částech, které programátor popsal.

Příklad 3

Podívejme se na složitější logický vzorec:

ne- (Aor-ne-C) hArr- ne-Аand-С = 1

Proto potřebujeme formální jazyky. Představte si, co by se stalo, kdyby bylo popsáno slovy? A nyní, na základě vzorce, odvodíme závěry. Smysluplné výrazy lze získat ve formálním jazyce pouze tehdy, když jsou dodržena předem stanovená pravidla pro formování, modifikaci a "chápání" vzorců a termínů, ze kterých jsou vytvořeny:

1. Výstavba termínů a vzorců;
2. Vypracování sémantického aspektu a interpretace;
3. Pořadí některých vzorců a termínů od ostatních.

V každém formálním jazyce musí být soubor pravidel dobře zpracován.

Příklad 4

Kvůli přítomnosti syntaxe jazyka výstupních pravidel pro termíny a vzorce je možné provádět isomorfní transformace modelů. To nejen odráží (představují) určitý soubor poznatků, které již existuje, ale možná obdrží nové informace. Kromě toho může být transformace automatizována, ačkoli se to stane podle jasných a přísných pravidel. Podobné technologie se používají v roce 2007 odborné systémy, základy znalostí a softwarové produkty pro podporu rozhodování.

Závěr

Formální jazyky nalezly široké uplatnění ve vědě, zejména ve strojírenství. Během provádění vědeckého výzkumu nebo při provádění praktických činností mohou s ohledem na významné výrazové schopnosti tohoto druhu interagovat s přirozenou činností. Nicméně formální jazyky umožňují přesnější přenos znalostí a objektivní výměnu informací nahromaděných lidstvem.