A véges automaták és reguláris nyelvek, diszkrét matematika
Ebben a fejezetben elkezdjük a prezentáció elemeit a hivatalos nyelv elmélet.
A „hivatalos nyelv”, azt jelenti, hogy a bemutatott eredmények elsősorban leírásában alkalmazott mesterséges nyelvek az emberek által kitalált speciális célokra, mint például a programozási nyelvek. De leküzdhetetlen akadályok között kifejezetten feltalálták a mesterséges (formal) nyelvek és spontán feltörekvő és a fejlődő természetes nyelv nem létezik. Kiderült, hogy a természetes nyelvek összetett nyelvtani szabályok, azaz, mereven formalizált, és még a „tudományosan megtervezett” programozási nyelv tartalmaz „sötét helyeken”, ami egy világos megértése a problémát.
Nyelvtanulás, meg kell jegyezni, három alapvető szempontot.
Az első közülük - a nyelvi szintaxis. Nyelv - kakoe- a sor „szó”, ahol „szó” egy bizonyos véges sorozata „betűk” - karakter egy korábban rögzített ábécé. A „levél” és a „szó” lehet értelmezni különböző módokon (a matematikai definíciója ezeket a kifejezéseket az alábbiakban ismertetünk). Így a „betűk” valóban lehet az ábécé egy természetes vagy formális nyelvet, mint például a magyar nyelv, illetve programozási nyelv „Pascal”. Ezután a „szavak” véges szekvenciák „betűk”: a krokodil „” integer »E szavak nevezik.« Zseton »De.« Letter »lehet« szó »(« token ») az egész idő alatt.« Szó „- kínál természetes nyelvi programok vagy programozási nyelv. Ha rögzíteni egy bizonyos számú „betűk”, hogy nem minden szekvencia közülük lesz a „rövid”, azaz Eleksemoy „a nyelv, hanem csak egy olyan szekvenciát, amelyre bizonyos szabályokat. A „krykadil” nem egy jelképes a magyar nyelv, és az „akkor és csak akkor” nem token „Pascal”. A mondat, hogy „szeretlek” nem érvényes ajánlatot a magyar nyelv ugyanúgy, mint a belépési „x: = = t” nem megfelelően megírt értékadó operátor „Pascal”. * Syntax nyelv és egy szabályrendszert, amelyek szerint lehetséges, hogy a „helyes” szekvencia „betűk”. Minden szó a nyelv jellemzi egy adott szerkezet, ez egy konkrét nyelvet. Aztán ott kell lennie, egyrészt, hogy dolgozzon ki olyan mechanizmusokat átvitelére vagy generál, egy előre meghatározott mintát a szavak, és a többi - mechanizmusokat annak igazolására, hogy a szó tartozik egy adott nyelvet. Először is, nevezetesen a mechanizmusok és tanulmányozza a klasszikus elmélet formális nyelvek.
A második szempont - a szemantika a nyelvet. ** A szemantika közötti összehasonlítás a szavak a nyelv egy „értelmes” Eznacheniya. „Például, az írás egy matematikai képlet, követnünk kell bizonyos szintaktikai szabályok (párhuzamosság zárójelbe helyesírási szimbólumok sorrendje a szimbólumok, stb), de ezen túlmenően a következő képlettel határozott értelme, valami jelentése.
Nyelv - egy kommunikációs eszköz, információcsere. Ha azt akarjuk, hogy kell érteni, nem szabad csak szintaktikailag helyes, betartva a megfelelő sorrendben a betűk egy szó, szavak egy mondatban, hogy építse a beszéd, hanem, hogy vigyázzon rá értelme az ilyen ötletek, hogy kifejezzük a beszédben. Matematikai elmélete „jelentését” meg a közelmúltban, és amellett, hogy a következő fejezet nagyon röviden áttekinteni néhány a megközelítések a matematikai leírása a szemantika programozási nyelvek.
* A „szintaxis” szó a görög „szín” - „együtt” és „taxi” - „érdekében a rendszer.” Így a szintaxis lehet értelmezni, mint „a rajz.”
** a görög szó „sema” - „jel, a jel” és a „semanticos” - „jelentését”.
Ebben a fejezetben először vizsgálni az alapvető fogalmak matematikai elmélet formális nyelvek, a legfontosabb közülük a koncepció a generatív grammatika, és ezt követően - az úgynevezett reguláris nyelvek. Az elmélet a reguláris nyelvek, valamint az elmélet véges automaták képezi az alapot az egész elmélet formális nyelvek.
Ábécé, szó, nyelv
Vegyünk egy nagyon egyszerű fogalom nyelvi elmélet - a gondolat alfavita.Podrobnee
generatív nyelvtanok
Mint már említettük, a klasszikus elmélet formális nyelvek tanulmányok elsősorban szintaxis. Bevezeti a matematikai szintaxis modell, amely leírja azokat a mechanizmusokat, a termelési és elismerése „jól formált” lánc. Ebben a részben megnézzük az első ilyen mehanizmov.Podrobnee