Open AccessJournal Article
Generation of sentences with their parses: the case of propagating scattered context grammars
Alexander Meduna,Jirí Techet +1 more
TLDR
It is proved that for every recursively enumerable language L, there exists a propagating scattered context grammar whose language consists of L's sentences followed by their parses.Abstract:
Propagating scattered context grammars are used to generate their sentences together with their parses--that is, the sequences of labels denoting productions whose use lead to the generation of the corresponding sentences. It is proved that for every recursively enumerable language L, there exists a propagating scattered context grammar whose language consists of L's sentences followed by their parses.read more
Citations
More filters
Book
Regulated Grammars and Automata
Alexander Meduna,Petr Zemek +1 more
TL;DR: This is the first book to offer key theoretical topics and terminology concerning regulated grammars and automata, the most important language-defining devices that work under controls represented by additional mathematical mechanisms.
Journal ArticleDOI
Canonical scattered context generators of sentences with their parses
Alexander Meduna,Jirí Techet +1 more
TL;DR: It is demonstrated that for every recursively enumerable language, L, there exists a canonical scattered context generator whose language consists of L's sentences followed by their parses.
Book ChapterDOI
Maximal and minimal scattered context rewriting
Alexander Meduna,Jiří Techet +1 more
TL;DR: If the propagating scattered context grammars derive their sentences by making either of these two derivation steps, then they characterize the family of context sensitive languages.
Book ChapterDOI
Chapter 21 Concluding Remarks
Alexander Meduna,Petr Zemek +1 more
TL;DR: This three-section chapter makes several final remarks concerning the material covered in this book and describes new investigation trends closely related to regulated grammars and automata.
References
More filters
Book
Introduction to formal language theory
TL;DR: This volume intended to serve as a text for upper undergraduate and graduate level students and special emphasis is given to the role of algebraic techniques in formal language theory through a chapter devoted to the fixed point approach to the analysis of context-free languages.
Book
High-Performance Compilers for Parallel Computing
TL;DR: This book discusses Programming Language Features, Data Dependence, Dependence System Solvers, and Run-time Dependence Testing for High Performance Systems.