RAIRO-Theor. Inf. Appl.
Volume 52, Number 2-3-4, April–December 2018
8th Workshop on Non-classical Models of Automata and Applications (NCMA 2016)
|Page(s)||201 - 218|
|Published online||24 January 2019|
Expressive capacity of subregular expressions★
Institut für Informatik,
Universität Giessen, Arndtstr. 2,
35392 Giessen, Germany.
* Corresponding author: email@example.com
Different types of subregular expressions are studied. Each type is obtained by either omitting one of the regular operations or replacing it by complementation or intersection. For uniformity and in order to allow non-trivial languages to be expressed, the set of literals is a finite set of words instead of letters. The power and limitations as well as relations with each other are considered, which is often done in terms of unary languages. Characterizations of some of the language families are obtained. A finite hierarchy is shown that reveals that the operation complementation is generally stronger than intersection. Furthermore, we investigate the closures of language families described by regular expressions with omitted operation under that operation. While it is known that in case of union this closure captures all regular languages, for the cases of concatenation and star incomparability results are obtained with the corresponding language families where the operation is replaced by complementation.
Mathematics Subject Classification: 68Q45 / 68Q15
Key words: Regular expressions / concatenation-free languages / star-free languages / union-free languages / expressive capacity / characterizations / closure properties / subregular hierarchy
A preliminary version of this paper appeared in the Proceeding of the Workshop on Non-Classical Models of Automata and Applications (NCMA 2016) (8).
© EDP Sciences, 2019
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.