The chop of languages

Autor: Sebastian Jakobi, Martin Kutrib, Markus Holzer
Rok vydání: 2017
Předmět:
Zdroj: Theoretical Computer Science. 682:122-137
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2017.02.002
Popis: We investigate chop operations, which can be seen as generalized concatenation. For several language families of the Chomsky hierarchy we prove (non)closure properties under chop operations and incomparability to the family of languages that are the chop of two regular languages. We also prove non-closure of that language family under Boolean operations and closure under reversal. Further, the representation of a regular language as the chop of two regular expressions can be exponentially more succinct than its regular expression. By considering the chop of two linear context-free languages we already obtain language families that have non-semi-decidable problems such as emptiness or finiteness.
Databáze: OpenAIRE
načítá se...