Thesis Details

Synchronous Formal Systems Based on Grammars and Transducers

Ph.D. Thesis Student: Horáček Petr Academic Year: 2014/2015 Supervisor: Meduna Alexander, prof. RNDr., CSc.
Czech title
Synchronní formální systémy založené na gramatikách a převodnících
Language
English
Abstract

This doctoral thesis studies synchronous formal systems based on grammars and transducers, investigating both theoretical properties and practical application perspectives. It introduces new concepts and definitions building upon the well-known principles of regulated rewriting and synchronization. An alternate approach to synchronization of context-free grammars is proposed, based on linked rules. This principle is extended to regulated grammars such as scattered context grammars and matrix grammars. Moreover, based on a similar principle, a new type of transducer called the rule-restricted transducer is introduced as a system consisting of a finite automaton and context-free grammar. New theoretical results regarding the generative and accepting power are presented. The last part of the thesis studies linguistically-oriented application perspectives, focusing on natural language translation. The main advantages of the new models are discussed and compared, using select case studies from Czech, English, and Japanese to illustrate.

Keywords

formal systems, grammars, transducers, regulated rewriting, synchronization, natural language syntax, natural language translation

Department
Degree Programme
Computer Science and Engineering, Field of Study Computer Science and Engineering
Files
Status
defended
Date
12 September 2014
Citation
HORÁČEK, Petr. Synchronous Formal Systems Based on Grammars and Transducers. Brno, 2014. Ph.D. Thesis. Brno University of Technology, Faculty of Information Technology. 2014-09-12. Supervised by Meduna Alexander. Available from: https://www.fit.vut.cz/study/phd-thesis/501/
BibTeX
@phdthesis{FITPT501,
    author = "Petr Hor\'{a}\v{c}ek",
    type = "Ph.D. thesis",
    title = "Synchronous Formal Systems Based on Grammars and Transducers",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2014,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/phd-thesis/501/"
}
Back to top