Original title:
Omezené Restartovací Automaty
Translated title:
Restricted Restarting Automata
Authors:
Černo, Peter ; Mráz, František (advisor) ; Kutrib, Martin (referee) ; Průša, Daniel (referee) Document type: Doctoral theses
Year:
2015
Language:
eng Abstract:
[eng][cze] Restarting automata were introduced as a model for analysis by reduction which is a linguistically motivated method for checking correctness of a sentence. The thesis studies locally restricted models of restarting automata which (to the contrary of general restarting automata) can modify the input tape based only on a limited context. The investigation of such restricted models is easier than in the case of general restarting automata. Moreover, these models are effectively learnable from positive samples of reductions and their instructions are human readable. Powered by TCPDF (www.tcpdf.org)Restartovací automaty byly navrženy jako model pro redukční analýzu, která představuje lingvisticky motivovanou metodu pro kontrolu korektnosti věty. Dizertační práce zkoumá lokálně omezené modely restartovacích automatů, které (na rozdíl od obecných restartovacích automatů) smí upravovat obsah vstupní pásky jenom na základě lokálně omezeného kontextu. Studium omezených modelů se ukazuje jako jednodušší než studium obecných restartovacích automatů. Navíc se tyhle modely efektivně učí z pozitivních příkladů redukcí a jejich instrukce jsou srozumitelné i pro člověka. Powered by TCPDF (www.tcpdf.org)
Keywords:
analysis by reduction; grammatical inference; restarting automata; string-rewriting systems; gramatická inference; přepisovací systémy; redukční analýza; restartovací automaty
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/82615