|
|
Automatové systémy
Petřík, Patrik ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou definovány paralelní automatové systémy a paralelně komunikující automatové systémy komunikující přechody, které obsahují jako komponenty konečné automaty. Jsou zkoumány jejich vlastnosti vzhledem k jiným gramatickým systémům či gramatikám.
|
|
|
A Combination of Automata and Grammars
Kučera, Jiří ; Horáček, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
In this work, a new systems of formal models, called state-synchronized automata systems of degree n , were introduced and studied. The computation in presented automata systems is controlled by words from finite control language, where every word from control language is a sequence of states. Furthermore were studied the computational power of these systems. The practical use of introduced systems was demonstrated on example of natural language translation and on example of parallel compiling.
|
|
|
Syntaktická analýza založená na multigenerování
Kleiner, Miloš ; Čermák, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Multigenerativní gramatický systém je založen na kooperativní činnosti konečného počtu bezkontextových gramatik. Všechny tyto bezkontextové gramatiky paralelně a synchronně derivují jednotlivé větné formy. V průběhu generování dochází v každém přímém derivačním kroku ke kontrole správnosti jednotlivých vygenerovaných větných forem. Tyto kontroly mohou být provedeny různými způsoby. Výsledkem je potom tzv. multiřetězec (vektor řetězců), pomocí kterého je definován generovaný jazyk.
|
|
|
Systémy syntaktických analyzátorů
Kunda, Matej ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Cieľom tejto práce je vytvorenie formálneho modelu nového gramatického systému, ktorý dokáže kombinovať niekoľko metód syntaktickej analýzy. Inšpiráciou k vytvoreniu gramatického systému boli kooperačne distribuované gramatické systémy, z ktorých sa vytvorila myšlienka komunikačných symbolov. Pomocou komunikačných symbolov dokážu komponenty gramatického systému komunikovať, a tak spolupracovať na tvorbe jednej vety. V práci som navrhol formálny model tohoto systému, aplikoval sa v syntaktickej analýze a následne implementoval. Výsledkom práce je aplikácia, ktorá funguje na princípe formalizovaného gramatického systému a kombinuje dve metódy syntaktickej analýzy.
|
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
|
|
Systémy kombinující automaty a gramatiky
Petřík, Patrik ; Křivka, Zbyněk (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou definovány a studovány systémy kombinující gramatiky a automaty. Jsou zkoumány jejich vlastnosti s ohledem na již známé gramatické či automatové systémy a to především pro komponenty síly regulárních jazyků a komponenty síly bezkontextových jazyků. V rámci práce je vytvořen i skript simulující jeden ze studovaných systémů po praktické stránce.
|
|
|
Systémy syntaktických analyzátorů
Kunda, Matej ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Cieľom tejto práce je vytvorenie formálneho modelu nového gramatického systému, ktorý dokáže kombinovať niekoľko metód syntaktickej analýzy. Inšpiráciou k vytvoreniu gramatického systému boli kooperačne distribuované gramatické systémy, z ktorých sa vytvorila myšlienka komunikačných symbolov. Pomocou komunikačných symbolov dokážu komponenty gramatického systému komunikovať, a tak spolupracovať na tvorbe jednej vety. V práci som navrhol formálny model tohoto systému, aplikoval sa v syntaktickej analýze a následne implementoval. Výsledkom práce je aplikácia, ktorá funguje na princípe formalizovaného gramatického systému a kombinuje dve metódy syntaktickej analýzy.
|
|
|
Formal Systems Based on Automata and Grammars
Čermák, Martin ; Rybička, Jiří (oponent) ; Šaloun, Petr (oponent) ; Meduna, Alexandr (vedoucí práce)
The present thesis continues with study of grammar and automata systems. First of all, it deals with regularly controlled CD grammar systems with phrase-structure grammars as components. Into these systems, three new derivation restrictions are placed and their effect on the generative power of these systems are investigated. Thereafter, this thesis defines two automata counterparts of canonical multi-generative nonterminal and rule synchronized grammar systems, generating vectors of strings, and it shows that these investigated systems are equivalent. Furthermore, this thesis generalizes definitions of these systems and establishes fundamental hierarchy of n-languages (sets of n-tuples of strings). In relation with these mentioned systems, automaton-grammar translating systems based upon finite automaton and context-free grammar are introduced and investigated as a mechanism for direct translating. At the end, in this thesis introduced automata systems are used as the core of parse-method based upon n-path-restricted tree-controlled grammars.
|
|
|
Automatové systémy
Petřík, Patrik ; Lukáš, Roman (oponent) ; Meduna, Alexandr (vedoucí práce)
V této práci jsou definovány paralelní automatové systémy a paralelně komunikující automatové systémy komunikující přechody, které obsahují jako komponenty konečné automaty. Jsou zkoumány jejich vlastnosti vzhledem k jiným gramatickým systémům či gramatikám.
|
|
|
Syntaktická analýza založená na multigenerování
Kleiner, Miloš ; Čermák, Martin (oponent) ; Meduna, Alexandr (vedoucí práce)
Multigenerativní gramatický systém je založen na kooperativní činnosti konečného počtu bezkontextových gramatik. Všechny tyto bezkontextové gramatiky paralelně a synchronně derivují jednotlivé větné formy. V průběhu generování dochází v každém přímém derivačním kroku ke kontrole správnosti jednotlivých vygenerovaných větných forem. Tyto kontroly mohou být provedeny různými způsoby. Výsledkem je potom tzv. multiřetězec (vektor řetězců), pomocí kterého je definován generovaný jazyk.
|
host ::
RSS.