Szeptember 9-én az E épület 112-es tárgyalójában13.30 órától tart előadást három kutató a Brno University of Technology képviseletében. Fő kutatási területük a formális nyelvek és automaták elmélete. A következő előadások kerülnek megtartásra:
1) Zbyněk Křivka: Bounder Rewriting Systems
Abstract:
The talk is based on two papers (Křivka, Z., Meduna, A., Schönecker,
R.: Generation of Languages by Rewriting Systems that Resemble
Automata, IJFCS, 2006 and Palano, B., Bianchi, M.P.: On Leftmost
#-Rewriting Systems, DCFS 2008). We introduce #-rewriting systems,
which represent language-generating devices that resemble automata by
using finitely many states without any nonterminals. We study the
generative power of several variants of these systems.
2) Martin Čermák: Multi-Languages and Systems of Formal Models
Abstract:
Theory of formal models investigate many types of grammar or automaton
system. This discussion introduce multi-grammar and multi-automata
systems, where each component of system has an its own input (or
output), but the components cooperate during computation. The
discussion investigating several properties of these multi-systems.
3) Jiří Koutný: On n-Path-Controlled Grammars
Abstract:
The topic deals with context-free grammars with some root-to-leaf
paths in derivation trees restricted by control languages. It
demonstrates that if these control languages are linear, then there
are several families of generated languages depending on the common
part of all restricted paths. The talk discusses the investigation of
several properties of these families, especially the pumping lemma for
one of these classes."