|
|
Systems of Parallel Grammars
Skácel, Jiří ; Horáček, Petr (referee) ; Meduna, Alexandr (advisor)
This article defines cooperating distributed grammar systems with E0L components instead of context-free grammars and discusses its generative power mainly in respect to ET0L systems. It recapitulates results about CD GS, then defines modified systems and shows that this combination has in most derivative modes equal strength to ET0L, except for terminating mode, which is shown to be more powerful. There are also explained examples of this new kind of systems.
|
|
|
Transducer Systems and Their Applications
Boros, Adrián ; Dvořák, Tomáš (referee) ; Meduna, Alexandr (advisor)
This thesis introduces a new variant of translation devices. We propose a new formal model based on the interconnection of several cooperating pushdown transducers. This new model is called transducer system. The principle of operation of these systems is similar to the cooperating distributed (CD) grammar systems, enabling a cooperation of several grammar over a common sentential form. Furthermore, the thesis deals with the computational power of this formal model. The main result is an application that converts arithmetic expressions from infix to postfix notation.
|
|
|
Transducer Systems
Skácel, Jiří ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
This document defines systems of pushdown transducers. The idea of cooperating distributed grammar systems for components working on one word is adjusted for use of transducers instead of grammars. The transducers cooperate by passing output of one to input of another component. It discusses their descriptive power and equivalency between systems with arbitrary numbers of components. The main conclusion is then comparison of their descriptive power with Turing machines with regard to their translation and accepted languages.
|
|
|
Transducer Systems and Their Applications
Boros, Adrián ; Dvořák, Tomáš (referee) ; Meduna, Alexandr (advisor)
This thesis introduces a new variant of translation devices. We propose a new formal model based on the interconnection of several cooperating pushdown transducers. This new model is called transducer system. The principle of operation of these systems is similar to the cooperating distributed (CD) grammar systems, enabling a cooperation of several grammar over a common sentential form. Furthermore, the thesis deals with the computational power of this formal model. The main result is an application that converts arithmetic expressions from infix to postfix notation.
|
|
|
Transducer Systems
Skácel, Jiří ; Kučera, Jiří (referee) ; Meduna, Alexandr (advisor)
This document defines systems of pushdown transducers. The idea of cooperating distributed grammar systems for components working on one word is adjusted for use of transducers instead of grammars. The transducers cooperate by passing output of one to input of another component. It discusses their descriptive power and equivalency between systems with arbitrary numbers of components. The main conclusion is then comparison of their descriptive power with Turing machines with regard to their translation and accepted languages.
|
|
|
Systems of Parallel Grammars
Skácel, Jiří ; Horáček, Petr (referee) ; Meduna, Alexandr (advisor)
This article defines cooperating distributed grammar systems with E0L components instead of context-free grammars and discusses its generative power mainly in respect to ET0L systems. It recapitulates results about CD GS, then defines modified systems and shows that this combination has in most derivative modes equal strength to ET0L, except for terminating mode, which is shown to be more powerful. There are also explained examples of this new kind of systems.
|
guest ::
