Téma disertační práce

Školitel:Meduna Alexander, prof. RNDr., CSc.
Téma:Řízené formální modely
Zahájení v ak.r.:2006/2007
Obhajoba disertace:2010-05-18
Název disertace:Gramatické modely výpočetní distribuce a souběžnosti
Charakteristika řešeného problému:

Řešení tohoto projektu bude vycházet ze stávajících poznatků o řízených formálních modelech, které se používají v teorii formálních jazyků a vyčíslitelnosti. Cílem je zavedení, výzkum a využití některých nových řízených modelů se zaměřením na řízené automaty.  Teoretický výzkum těchto modelů bude diskutovat jak klasická tak moderní témata formálních jazyků, jako např. uzávěrové vlastnosti tříd jazyků, které tyto modely definují ap. Nové modely budou zavedeny tak, aby byly snadno použitelné v moderních oblastech informatiky. Aplikace se budou soustředit na oblasti informatiky související s matematickou lingvistikou a molekulární biologií.

Publikace související s vypsaným tématem:
2004MEDUNA Alexander. Two-Way Metalinear PC Grammar Systems and Their Descriptional Complexity. Acta Cybernetica. 2004, roč. 2004, č. 16, s. 385-397. ISSN 0324-721X.
2000KOLÁŘ Dušan a MEDUNA Alexander. Descriptional complexity of multi-parallel grammars with respect to the number of nonterminals. Grammars and Automata for String Processing: from Mathematics and Computer Science to Biology, and Back. London: neznámá, 2000, s. 212-225. ISBN 1-85233-074-0.
1997MEDUNA Alexander. Six-Nonterminal Multi-Sequential Grammars Characterize the Family of Recursively Enumerable Languages. International Journal of Computer Mathematics. 1997, roč. 1997, č. 65, s. 179-189. ISSN 0020-7160.

Vaše IPv4 adresa: 3.209.80.87
Přepnout na https