An environment for restarting automata
Název práce v češtině: | Prostredie pre reštartovacie automaty |
---|---|
Název v anglickém jazyce: | An environment for restarting automata |
Akademický rok vypsání: | 2007/2008 |
Typ práce: | bakalářská práce |
Jazyk práce: | angličtina |
Ústav: | Katedra softwaru a výuky informatiky (32-KSVI) |
Vedoucí / školitel: | RNDr. František Mráz, CSc. |
Řešitel: | skrytý - zadáno a potvrzeno stud. odd. |
Datum přihlášení: | 02.11.2007 |
Datum zadání: | 02.11.2007 |
Datum a čas obhajoby: | 08.09.2008 00:00 |
Datum odevzdání elektronické podoby: | 08.09.2008 |
Datum proběhlé obhajoby: | 08.09.2008 |
Oponenti: | RNDr. Petr Hoffmann, Ph.D. |
Zásady pro vypracování |
Restarting automata are special linguistically motivated models of automata. The main goal is to develop a specialized program with a simple user-friendly GUI enabling to design and to test restarting automata. This program will be used as a tool for exploring properties of these automata.
The program should also provide tools to design and manipulate deterministic finite-state automata, regular expressions, tools to obtain regular (and other) languages by machine learning (including Dana Angluin's L* algorithm, RPNI, SLT) and also tools to compare developed restarting automata with some other types of automata or grammars. Restarting automata are supposed to be represented by meta-instructions which can be designed or learned separately. All the entities of the program will have their own XML representation and it should be possible to save them to or load them from an XML file. |
Seznam odborné literatury |
F. Mráz, F. Otto, M. Plátek: Learning Analysis by Reduction from Positive Data. In: Y. Sakakibara, S. Kobayashi, K. Sato, T. Nishino, E. Tomita (Eds.): Proceedings ICGI 2006, LNCS 4201, Springer, Berlin, 2006, 125-136.
P. Jančar, F. Mráz, M. Plátek, J. Vogel: On Monotonic Automata with a Restart Operation. Journal of Automata, Languages and Combinatorics, 1999, 4(4):287-311. J. E. Hopcroft, R. Motwani, J. D. Ullman: Introduction to Automata Theory, Languages, and Computation. Addison Wesley, 2006. V. Subramaniam: .NET Gotchas. O'Reilly Media, Inc., 2005. J. Hilyard, S. Teilhet: C# Cookbook. O'Reilly Media, Inc., 2nd Edition, 2006. Articles and presentations from: http://agiledeveloper.com/download.aspx |