Překladatel apačsko český

On vynalezl (objevil?) klasifikace gramatik jsou formální systémy podle jejich moci projevu (nebo zpracování): Chomského hierarchie.
Tento systém rozděluje jazyků generované gramatikami ve čtyřech kategoriích:
Ke každému z nich je zde automat, který dokáže rozpoznat věty v jazyce:
Konečné automaty, také známý jako konečných Machines státní
Přirozené jazyky patří k nejvýkonnějším typů
, A stroj, který odpovídá na ně, je stroj Turing.
I dnes předkládáme příklad pravidelného jazyka, nejjednodušší druh, pro ilustraci tento do očí bijící korespondenci mezi gramatikami a automaty. Zvažte této gramatiky.
VĚTA-> "" KINDSHIP "je" adjektivum KINDSHIP-> VZTAH "," osoby VZTAH-> "mateřské" | "otec" | "sestra" | "bratr" | "syn" | "dcera" OSOBA-> "Ana "|" David "adjektivum->" pěkné "|" vysoký "
S ním jsme schopni vybudovat věty as inspirující jako "Matka Ana je nice" a "Dcera Davida je vysoký".
Odpovídající konečný automat rozpozná tyto dvě věty, a další 22, které mohou být postaveny s ním (psaní je dolů je ponechán jako zábavnou cvičení pro čtenáře). Skládá se z několika států, spojených označených šipkami představujících přechody z jednoho stavu do druhého. Tam je speciální počáteční stav a další speciální konečný stav:
Bylo by velmi snadné na tomto místě se zmást, a myslím, že "konečný" v stavu stroje konečných odkazuje na skutečnost, že pouze konečný počet vět může být produkován nebo uznaná nich. To není vůbec věci. To se odkazuje na skutečnost, že existuje konečný počet stavů (kruhy, sedm v tomto případě). Vytvoření mírné modifikaci našeho gramatiky budeme moci stavět věty o libovolné délce, i když je počet stavů ponechány beze změny.