Strojové učenie formálnych jazykov

• Thesis title in Czech: Strojové učenie formálnych jazykov
• Thesis title in English: Machine learning of formal languages
• Academic year of topic announcement: 2005/2006
• Thesis type: Bachelor's thesis
• Thesis language: čeština
• Department: Department of Software and Computer Science Education (32-KSVI)
• Supervisor: RNDr. František Mráz, CSc.
• Author: hidden - assigned and confirmed by the Study Dept.
• Date of registration: 12.11.2005
• Date of assignment: 12.11.2005
• Date and time of defence: 22.06.2009 00:00
• Date of electronic submission: 22.06.2009
• Date of proceeded defence: 22.06.2009
• Opponents: RNDr. David Bednárek, Ph.D.

Guidelines

Cieľom práce je vytvoriť systém pre strojové učenie formálnych jazykov. Jazyky budú zadávané príkladmi slov z jazyka, príkladmi slov, ktoré do jazyka nepatria, alebo i ďalšími informáciami (napr. učiteľom, ktorý odpovedá na dotazy žiaka=programu o náležení daného slova do jazyka). Systém by mal obsahovať primárne algoritmy na učenie regulárnych jazykov (konečných automatov), ale bude otvorený, aby sa doňho dali jednoducho pridávať ďalšie algoritmy i pre iné triedy jazykov a porovnávať ich výsledky. Jednou z takýchto tried jazykov bude trieda jazykov reprezentovaná špecálnymi učiteĺnými prepisovacími systémami. Okrem algoritmov na učenie jazykov bude obsahovať nástroje na testovanie naučených jazykov reprezentovaných napr. konečným automatom.

References

J. Oncina and P. García. Inferring regular languages in polynomial update time. In N. Pérez de la Blanca, A. Sanfeliu, and E.Vidal, editors, Pattern Recognition and Image Analysis, volume 1 of Series in Machine Perception and Artificial Intelligence, pages 49-61. World Scientific, 1992.

D. Angluin. Learning regular sets from queries and counterexamples. Information and Computation, 75:87--106, November 1987.

R. Eyraud and C. de la Higuera and J.C. Janodet: Representating Languages by Learnable Rewriting Systems. In: Proceedings of the 7th International Colloquium on Grammatical Inference, LNAI 3264, Springer, 2004, 139-150.