FIT Božetěchova 2, seminární místnost C228, 11:00-12:30, 31.3.2010 Seminář je organizován výzkumnou skupinou formálních modelů na Ústavu informačních systémů Fakulty informačních technologií Vysokého učení technického v Brně. Je zaměřen především na teoretické a praktické aspekty formálních modelů a jejich použití.
Seznam uskutečněných seminárních příspěvků naleznete na http://www.fit.vutbr.cz/~meduna/work/doku.php?id=talks:seminar. Autor: Martin Čermák (doktorand, 2. ročník, školitel Alexander Meduna) Čistě teoretický seminář otevře novou problematiku formálních modelů, přičemž se bude v první části prezentace věnovat multijazykům a multigramatickým systémům. V druhé části prezentace budou zavedeny multipřijímající automatové systémy řízené stavem a přechodem. V závěru prezentace bude diskutována přijímající síla zavedených systémů a otevřené problémy multipřijímajících automatových systémů.Název: Multijazyky, multigramatické systémy a multipřijímající automatové systémy Abstrakt SpeakersČermák Martin, Ing. |
Faculty of Information Technology
![[dnssec]](/common/img/dnssec.png)