  Typ výsledku
Autor celku
Název celku(Celkem 11 zázn.)
|
|---|
| Otto, Friedrich Černo, Peter Mráz, František. On the Classes of Languages Accepted by Limited Context Restarting Automata. RAIRO - Theoretical Informatics and Applications, 2014, sv. eFirst, s. 1–24. ISSN 1290-385X. [Článek v časopise] |
| Černo, Peter. Grammatical Inference of Lambda Confluent Context Rewriting Systems. In Suna Bench, Frank Drewes, Rudolf Freund, Friedrich Otto. Non-Classical Models of Automata and Applications (NCMA 2013). : Österreichische Computer Gesellschaft, 2013. s. 85–100. ISBN 978-3-85403-294-6. [Článek ve sborníku] |
| Otto, Friedrich; Černo, Peter; Mráz, František. Limited Context Restarting Automata and McNaughton Families of Languages. In František Mráz. Theorietag, Automata and Formal Languages. : MatfyzPress, 2012. s. 109–114. [Článek ve sborníku] |
| Otto, Friedrich; Černo, Peter; Mráz, František. Limited Context Restarting Automata and McNaughton Families of Languages. In Rudolf Freund, Markus Holzer, Bianca Truthe, and Ulrich Ultes-Nitsche. Workshop on Non-Classical Models of Automata and Applications (NCMA). : books@ocg.at, Österreichisches Computer Gesellschaft, 2012. s. 165–180. [Článek ve sborníku] |
| Černo, Peter. Clearing Restarting Automata and Grammatical Inference. In Jeffrey Heinz, Colin de la Higuera, Tim Oates. Proceedings of the Eleventh International Conference on Grammatical Inference (ICGI 2012). : JMLR Workshop and Conference Proceedings, 2012. s. 54–68. [Článek ve sborníku] |
| Černo, Peter, Grammatical Inference of Lambda Confluent Context Rewriting Systems, submitted to Fundamenta Informaticae [Jiný výsledek] |
| Černo, Peter, Clearing Restarting Automata and Grammatical Inference (Technical Report), Technical report, 1/2012, Charles University, Faculty of Mathematics and Physics, Prague. <http://popelka.ms.mff.cuni.cz/cerno/index.php?menu=publications&lang=en> [Jiný výsledek] |
| Černo, Peter, Aplikace ClearingRestartingAutomaton <https://code.google.com/p/clearing-restarting-automata/> Spustitelný soubor: http://popelka.ms.mff.cuni.cz/cerno/files/ClearingRestartingAutomatonExecutable.zip Uživatelská dokumentace: http://popelka.ms.mff.cuni.cz/cerno/files/ClearingRestartingAutomatonUserGuide.pdf [Jiný výsledek] |
| Černo Peter, Mráz František, Delta-Clearing Restarting Automata and CFL Proceedings of the DLT 2011 15th International Conference on Developments in Language Theory (Milano, Italy), Springer, Berlin, 2011, LNCS, Vol. 6795, 153-164. http://www.springerlink.com/content/qj365m10882740h8/ V příspěvku je dokázáno, že delta-clearing restartovací automaty jsou schopné rozpoznávat všechny bezkontextové jazyky, čím byl naplněn jeden z cílů projektu pro rok 2011. Pro tento účel bylo vyvinuto nové kódování, pomocí kterého je možné zakódovat libovolnou informaci do dostatečně dlouhého slova jenom přepisováním jednotlivých znaků speciálním symbolem delta. [Jiný výsledek] |
| Černo Peter, Learning Automata and Grammars, in WDS'11 Proceedings of Contributed Papers: Part I – Mathematics and Computer Science (eds. J. Safrankova and J. Pavlu), Prague, Matfyzpress, pp. 125–131, 2011. ISBN 978-80-7378-184-2 http://popelka.ms.mff.cuni.cz/cerno/index.php?menu=publications&lang=en Rešeršní článek poskytující přehled základních modelů a technik používaných v oblasti gramatické inference. Pro ilustraci je zde uveden ukázkový model a k němu příslušný algoritmus učení. Také zde uvádíme náš subjektivní pohled na problematiku gramatické inference spolu s výhledem na možné použití podobných technik pro naše vlastní modely. [Jiný výsledek] |
| Černo Peter, Mráz František, Delta-Clearing Restarting Automata and CFL (Technical Report) Technical report, 2011/8, Charles University, Faculty of Mathematics and Physics, Prague http://popelka.ms.mff.cuni.cz/cerno/index.php?menu=publications&lang=en Technická správa, která podrobně popisuje důkaz tvrzení, že delta-clearing restartovací automaty jsou schopné rozpoznávat všechny bezkontextové jazyky. Také podrobně popisuje nové kódování, které je v důkazu použito. [Jiný výsledek] |
