Mit formális nyelvek tudható? Példák a felhasználásra

Mi a hivatalos nyelv, és miben különbözik a természetes? Hogy alakult? Mit formális nyelvek tudható? És azt használják utal rá?

Jellemzői formális nyelvek

Így hívjuk egy csoport mesterséges nyelvek, amelyeket az jellemez, pontos szabályokat az építési kifejezések, valamint a megértést. rendszerek az ipari célra felhasznált tudható be formális nyelvek. Ők építették megfelel az egyértelmű szabályok, következetes, kompakt és pontos megjelenítését tulajdonságait és kapcsolatait a vizsgált tárgykörben vagy modellezett tárgyakat. Az érték és jelentését a védjegyek nem lehet megváltoztatni semmilyen gyakorlati jellemzői (használata összefüggésben). Ez annak köszönhető, hogy a jelenléte a hivatalos nyelv szabályainak szintaktikai és szemantikai átalakítás értelmezést. Gyakran épült, mint a bázis a matematika. Tekintettel arra, hogy ez, az egész span a fejlődés, használják a különböző szimbolikus elnevezések volna alkalmazni, hogy a különböző fogalmakat és tárgyakat. Ez az, amit meg kell formális nyelvek. Ezek jelentősen csökkentheti az adatokat. Korábban együtt a formális és természetes nyelvek már használt, de a fokozatos szövődménye a téma, és annak szükségességét, hogy a szigorú logikai elemzése a matematikai gondolkodás, úgy döntöttek, hogy hagyjon fel a múltat. Ez a folyamat tartott a XVII XX században. Úgy véljük, a múlt század legtermékenyebb szempontjából formális nyelvek. különböző speciális ága jött létre. Tehát, számítástechnika szempontjából különösen fontos programozási nyelvek és a matematikai logika, nem csak elméleti, hanem gyakorlati szempontból.

meghatározás

Mit formális nyelvek tudható be, mivel már röviden megmagyarázzuk. De mit mondhatunk róluk? Formális nyelv kap egy csomó különböző definíciókat. Mindet felsorolni, akkor hagy sok időt, hogy vessen egy pillantást a legnépszerűbb:

1. Egy egyszerű szavak listáját a nyelv - általában azt mondják, így tekintettel a végső konstrukció típusát és körülbelül az is, hogy egy egyszerű szerkezet.
2. Szavak által generált bizonyos formális nyelvtan.
3. A szerkezet által létrehozott reguláris kifejezéseket.
4. Szavak által generált BPF-design.
5. A szerkezet, felismerhető egy véges automata.

Nézzünk egy példát. Tegyük fel, hogy már az egész ábécét, mivel két szám 1 és 0 megjelenítéséhez „O” betűt, az általunk használt kombinációja 1010001. Ez a használata a hivatalos nyelv. Az is lehetséges, hogy használja az üres szavak (ha a string hossza nulla, és nincs semmi) egy speciális megjelölése formájában ismerős számunkra. De részletesebben megérteni, hogy mi a hivatalos nyelv, segít 4. példa, hogy kap a következő. Mit csinál? Ahhoz, hogy az olvasó úgy értelmeztem, hogy a hivatalos nyelv lehet tulajdonítani. De egy kicsit többet arról, hogyan jönnek létre.

Építőipari formális nyelvek

Minden nyelv hivatalos struktúra jött létre, egyszer valaki. Ezek általában épül ugyanazt a mintát:

1. A kezdéshez válaszd az ábécé, vagy valami sor speciális karakterek épül és kifejezések a nyelvben. A hivatalos nyelv semmilyen módon programozni a számítógép segítségével.
2. Ez leírja a szintaxis, azaz jellemzőit és szabályait, amely épít értelmes mondatokat.
3. Bizonyos szabályok szavakat és kifejezéseket. Itt van egy szabály: bármilyen betűkből kell tudni számolni a szavakat.

Formális nyelvi kifejezés bármely szerkezet, amely egyértelmű szabályokat - meg kell emlékezni. Ha az építkezés, van néhány jellemzőjét. Így a „karakter” nagyon multifunkcionális szempontjából értelmében, így a legtöbb esetben használt kifejezés, mint a „levél”. De alattuk lehet érteni nem csak a szokásos jelöléssel számunkra, hanem a konzolok, speciális karakterek, stb. Ez csak a formális nyelvek.

1. példa

Kezdjük 1 és 0 Ebben az esetben használja a több a „kifejezés” és a „képlet”. Az első hat analóg a tárgy és a nevét használják utal valami különleges. Először is értik az állandók és a változók egyes alattuk. Ezek közül viszont építeni bonyolultabb szerkezetű, amelyet alkalmaznak néhány nyelvi funkciót. Feltételei szerint a csoport a képlet, hogy megértsék, amelyek használata egy bizonyos programozási nyelv is lehetséges. Ez a „utasítás” kerülnek feldolgozásra, és az a személy lesz a kívánt eredményt.

2. példa

Tekintsük a példát logikát, amelyben van egy inverziós (¬), diszjunkció (∧), a összefüggésben (∨) és a hatása (⇒), és még sokan mások. Az ilyen képek rögzítésére adható:

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

Ahogy a karakterek, B, C, helyettesíti a változókat, és kapsz a logikai műveleteket. Hova kell formális nyelvek ilyen? A széles körben elterjedt használata egy ilyen mechanizmus található programozási nyelvek, a matematika, a kapcsolatok, matematikai és logikai függvények, vagy azok részei, amelyek leírták a programozó.

3. példa

Nézzünk egy bonyolultabb logikai képletek:

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

Ezért van szükségünk a hivatalos nyelv. Képzeljük el, mi történt volna, ha azt szavakba? Most olyan képlet alapján vezetjük le következtetéseket. Értelmes kifejezéseket lehet beszerezni a hivatalos nyelv csak bizonyos szabályok betartása pre-képződés, a változás és a „megértés” a képletek és feltételeit, amelyből készültek:

1. Építőipari távú képletek és;
2. Tanulmány a szemantikai aspektus és értelmezése;
3. A szekvenciát az egyik képletek és más kifejezést.

Minden hivatalos nyelvén kell jól bevált szabályokat állapít meg.

4. példa

Jelenléte miatt a szintaktikai szabályokat a nyelv kimenet feltételeket és képletek lehet izomorf transzformációs modellek. Így kerül sor nemcsak a reflexió (ábrázolása) egy meghatározott ismeretek, amely már létezik, de kaphat új információkat. Sőt, az átalakulás, bár, és kerül sor szerint egyértelmű és szigorú szabályok, ez lehet automatikus. Hasonló technikákat alkalmaznak szakértői rendszerek, tudásbázisok és szoftver döntéstámogató termékeket.

következtetés

Formális nyelvek széles körben használják a tudomány, különösen a szakterületen. A tudományos kutatás és a végrehajtás gyakorlati tevékenységek tudnak lépni a természetes, tekintettel a jelentős expresszív képességek az utóbbi. Mégis formális nyelvek pontosabban közvetíti a tudás, és végezzen egy objektív információcsere felhalmozott az emberiség.