Nové verze automatových a gramatických systémů

Loading...
Thumbnail Image

Date

Authors

Lichota, Lukáš

Mark

B

Journal Title

Journal ISSN

Volume Title

Publisher

Vysoké učení technické v Brně. Fakulta informačních technologií

ORCID

Abstract

Táto práca sa zaoberá modifikáciou klasických gramatických systémov na báze bezkontextových gramatík a zavádza nové, modifikované lineárne gramatické systémy na báze gramatík lineárnych. Rovnako sa zaoberá podobnou modifikáciou v automatových systémoch, kde jednotlivé automaty odpovedajú svojou generatívnou silou lineárnym gramatikám, čo spĺňajú jednoobrátkové zásobníkové automaty. Práca ponúka taktiež pohľad na programovú realizáciu teoretických modelov navrhnutých v teoretickej časti a predstavuje dva programy pre syntaktickú analýzu založenú na nich.
This work deals with the modification of classical grammar systems with context-free base and defines new, modified linear grammar systems with linear grammar base. Also it deals with modification in automata systems, where each automaton is generative as strong as linear grammar, which is satisfied with the usage of one-turn push-down automata. This thesis also contains view on program realisation of theoretical models, which were described in theoretical part and introduces two programs for syntax analysis built based on it.

Description

Citation

LICHOTA, L. Nové verze automatových a gramatických systémů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2016.

Document type

Document version

Date of access to the full text

Language of document

cs

Study field

Inteligentní systémy

Comittee

doc. Ing. František Zbořil, CSc. (předseda) prof. Ing. Lukáš Sekanina, Ph.D. (místopředseda) doc. Ing. Michal Bidlo, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) prof. Ing. Radomil Matoušek, Ph.D. (člen) RNDr. Marek Rychlý, Ph.D. (člen)

Date of acceptance

2016-06-21

Defence

Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázky oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm velmi dobře (B). Otázky u obhajoby: Navržený PC lineární gramatický systém umožňuje v pravidlech používat komunikační symboly i na pozicích terminálních symbolů, což se neshoduje s původní definicí PC gramatických systémů. Uvažujte proto zavedení lineárních pravidel do původní definice. Bude výsledná síla tohoto systému jiná? Pokud ano, dokážete ji porovnat vzhledem k ostatním výsledkům?

Result of defence

práce byla úspěšně obhájena

DOI

Collections

Endorsement

Review

Supplemented By

Referenced By

Citace PRO