On $k$-piecewise testability (preliminary report)

For a non-negative integer $k$, a language is $k$-piecewise test\-able ($k$-PT) if it is a finite boolean combination of languages of the form $\Sigma^* a_1 \Sigma^* \cdots \Sigma^* a_n \Sigma^*$ for $a_i\in\Sigma$ and $0\le n \le k$. We study the following problem: Given a DFA recognizing a piecewi...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Masopust, Tomáš, Thomazo, Michaël
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science - Formal Languages and Automata Theory
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!