Working seminary focused on methods of robust syntactic analysis of programming languages and natural languages,
comparison of known methods and development of new methods for language processing. Subjects discussed within the
framework of the seminary have a direct connection to ongoing research within several grant projects. Methods based on
various models of list automata and restarting automata will be stressed.
Last update: T_KSVI (11.05.2010)
Pracovní a referativní seminář zaměřený na metody robustní syntaktické analýzy programovacích i přirozených jazyků,
porovnávání existujících a vývoj nových metod zpracování jazyků. Témata diskutované v rámci semináře přímo navazují
na problematiku řešenou v několika výzkumných projektech. Důraz je kladen na metody založené na modelech
seznamových a zejména restartovacích automatů.
Course completion requirements -
Last update: RNDr. František Mráz, CSc. (29.10.2019)
For obtaining credits for the seminar it is necessary active participation in the seminar and at least two presentations of papers from literature or results achieved by the student.
Continuous work throughout the whole term is required to obtain the credits, therefore there will be no additional possibilities to acquire them later.
Last update: RNDr. František Mráz, CSc. (29.10.2019)
Podmínkou zápočtu je účast na semináři a alespoň dvě prezentace cizích článků nebo vlastních výsledků v rámci semináře.
Získání zápočtu vyžaduje průběžnou práci přes celý semestr, a proto žádné náhradní termíny pro získání zápočtu nebudou vypsány.
Literature -
Last update: T_KSVI (11.05.2010)
G. Rozemberg, A. Salomaa (Eds.): Handbook of formal languages, Vol. 1,2,3, Springer, 1997.
F. Otto: Restarting automata. In Esik, Z., Martin-Vide, C. and Mitrana, V. (Eds): Recent Advances in Formal Languages and Applications, pages 269-303, Studies in Computational Intelligence 25, Springer-Verlag, Berlin.
Last update: T_KSVI (11.05.2010)
G. Rozemberg, A. Salomaa (Eds.): Handbook of formal languages, Vol. 1,2,3, Springer, 1997.
F. Otto: Restarting automata. In Esik, Z., Martin-Vide, C. and Mitrana, V. (Eds): Recent Advances in Formal Languages and Applications, pages 269-303, Studies in Computational Intelligence 25, Springer-Verlag, Berlin.
Syllabus -
Last update: T_KSVI (11.05.2010)
There will be discussed results on parsing of natural and formal languages achieved by the participants of the seminary and others. The main topics are:
1. A comparative study of methods for parsing and recognition of languages, complexity of parsing and recognition.
2. A study of complexity classes of various types of (mainly restarting) automata.
3. Analysis by reduction and modeling of phenomena from natural languages by means of formal automata models.
4. Models for parsing pictures by automata with two-dimensional input.
5. Machine learning of languages - grammatical inference.
Last update: T_KSVI (11.05.2010)
Náplní semináře jsou referáty o cizích i vlastních výsledcích z oblasti syntaktické analýzy umělých i přirozených jazyků. Hlavními tematickými okruhy jsou:
1. komparativní studium metod rozpoznávání a syntaktické analýzy jazyků, složitost rozpoznávání a syntaktické analýzy,
2. studium tříd složitosti různých druhů (především restartovacích) automatů,
3. redukční analýza a modelování jevů z přirozených jazyků pomocí formálních modelů automatů,
4. modely syntaktického rozpoznávání obrázků pomocí automatů na dvourozměrných vstupech,
