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

Jaký je formální jazyk a jak se liší od přirozené? Jak to vzniklo? Co formálních jazyků lze přičíst? A je používán odkazovat se na něj?

Charakteristika formálních jazyků

Takže říkáme skupinu umělých jazyků, které se vyznačují přesnými pravidly, pokud jde o výstavbu výrazů, jakož i jejich porozumění. systémy používané pro průmyslové účely lze přičíst formálních jazyků. Jsou postaveny v souladu s jasnými pravidly, poskytovat konzistentní, kompaktní a přesné zobrazení vlastností a vztahů studovaného oblast nebo modelovaných objektů. Hodnota a význam značek nelze změnit žádnými pragmatických rysů (použití kontextu). To je možné díky přítomnosti ve formálním jazyce pravidel pro přepočet syntaktické a sémantické interpretace. Oni jsou často stavěny používat jako základ matematiky. Vzhledem k tomu, že na celém rozpětí vývoje, používal řadu symbolických označení byly použity pro různé pojmy a objektů. To je to, co je potřeba formální jazyky. Mohou výrazně snížit data. Dříve spolu s formálními a přirozenými jazyky byly použity, ale s postupným komplikace subjektu a na základě nutnosti dosáhnout přísnou logickou analýzu matematického uvažování, bylo rozhodnuto opustit minulost. Tento proces trval od XVII století XX. Jedná se o poslední století je považována za nejplodnější z hlediska formálních jazyků. různé speciální větve byly vytvořeny. Takže pro počítačové vědy mají zvláštní význam programovacích jazyků a algebry logiky, a to nejen teoretické, ale i z praktického hlediska.

definice

Co formálních jazyků lze připsat již máme stručně vysvětlit. Ale co můžeme říci o nich? Formální jazyk je uvedeno mnoho různých definic. Aby jim vypsat všechny, bude to nechat hodně času, takže se podívat na nejpopulárnější:

1. Jednoduchý seznam slov v jazyku - obvykle to tak říci, pokud jde o konečné typu konstrukce ao těch, které mají jednoduchou strukturu.
2. Slova generované určité formální gramatiky.
3. Struktura vytvořená regulárních výrazů.
4. Slova generované BPF-design.
5. Struktura, rozpoznatelný konečný automat.

Podívejme se na příklad. Řekněme, že máme celou abecedu, daný dvě čísla 1 a 0. Chcete-li zobrazit písmeno „O“, využíváme kombinace 1010001. Jedná se o využití formální jazyk. Je také možné používat prázdná slova (pokud řetězec má nulovou délku, a není nic) se speciálním označením v podobě známe. Ale blíže k pochopení toho, co je formální jazyk, pomáhají 4 příklady, které budou uvedeny dále. Co to dělá? K porozumění čtenáře bylo, že formální jazyk lze přičíst. Ale trochu víc o tom, jak jsou vytvořeny.

Výstavba formálních jazyků

Každý jazyk je formální struktura, která byla vytvořena jednou někdo. Oni jsou obvykle postaveny na stejném modelu:

1. Chcete-li začít, zvolte abecedu, nebo nějaký soubor specifických znaků, které bude postaven a výrazy používané v tomto jazyce. Formálním jazykem je nějaký způsob, jak programovat pomocí počítače.
2. Popisuje syntaxi, tedy vlastnosti a pravidla, která budou vycházet smysluplné věty.
3. O některých pravidel pro slov a výrazů. Zde platí pravidlo: všechna sled písmen musí být schopni počítat slova.

Formálním jazyce se vztahuje na jakékoliv struktuře, která má jasná pravidla - je třeba mít na paměti. Při stavbě, tam jsou některé funkce. To znamená, že pojem „znak“ je velmi multi-funkční, pokud jde o významu, takže ve většině případů používá termín jako „písmeno“. Ale pod nimi lze chápat nejen obvyklou notaci pro nás, ale také držáky, speciální znaky a další. To se vztahuje pouze na formálních jazyků.

Příklady provedení vynálezu Příklad 1

Začněme s 1 a 0. V takovém případě použijte více pojetí „pojmu“ a „formule.“ První se chová jako analog objektu a název se používá pro označení něco konkrétního. Za prvé pochopit konstanty a jednotlivé proměnné pod nimi. Z nich pak stavět složitější struktury, která se používá použité v některých jazykových funkcí. V souladu s podmínkami skupiny pochopit vzorec, jehož použití v určitém programovacím jazyce je to možné. Tento „návod“ budou zpracovány, a osoba získat požadovaný výsledek.

Příklad 2

Vezměme si příklad logiky, ve kterém panuje inverze (¬), disjunkce (∧), konjunkce (∨) a implikace (⇒) a několik dalších. V takovém záznamu snímků může být podáván jako:

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

Jako znaky A, B, C, nahradit proměnné a dostanete logických operací. Kde podat žádost formální jazyky tohoto typu? Rozšířené používání takového mechanismu lze nalézt v programovacích jazyků, matematiky, vztahy, logické a matematické funkce, nebo jejich části, které byly popsány programátorem.

Příklad 3

Podívejme se na složitějších logických vzorců:

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

To je důvod, proč potřebujeme formálních jazyků. Představte si, co by se stalo, kdyby to bylo popisováno ve slovech? Nyní, na základě vzorce odvodíme závěry. Smysluplné výrazy mohou být získány ve formálním jazyce pouze tehdy, pokud jsou určitá pravidla dodržována pre-vznik, změnu a „porozumění“ ze vzorců a podmínek, z nichž jsou vyrobeny:

1. Stavební dlouhodobé vzorce a;
2. Studium sémantického hlediska a interpretace;
3. Sekvence jednoho ze vzorců a jiným termínem.

Každé formální jazyk by měl být dobře zavedeným souborem pravidel.

Příklad 4

Vzhledem k přítomnosti v pravidlech výstupu syntaxe jazyka pro termíny a formulí může být vyroben isomorphic modelů transformace. Takže to bude provedeno nejen odrazu (reprezentaci) specifický soubor znalostí, které již existují, ale mohou přijímat nové informace. Kromě toho je transformace, i když, a bude probíhat podle jasných a přísných pravidel, to může být automatizován. Podobné metody se používají v expertních systémů, znalostních bází a produkty pro podporu rozhodování software.

závěr

Formální jazyky jsou široce používány ve vědě, a to zejména v oblasti techniky. V průběhu vědeckého výzkumu a provádění praktických činností, které mohou komunikovat s přirozeným vzhledem ke značné výrazové schopnosti daného členského státu. Zatím formální jazyky mohou přesněji zprostředkovat znalosti a provádět objektivní výměna informací nahromaděné lidstvem.