The height of piecewise-testable languages and the complexity of the logic of subwords

The height of a piecewise-testable language $L$ is the maximum length of the words needed to define $L$ by excluding and requiring given subwords. The height of $L$ is an important descriptive complexity measure that has not yet been investigated in a systematic way. This article develops a series o...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Logical methods in computer science Jg. 15, Issue 2; H. 2
Hauptverfasser:	Karandikar, Prateek, Schnoebelen, Philippe
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Logical Methods in Computer Science Association 01.04.2019 Logical Methods in Computer Science e.V
Schlagworte:	Computer Science computer science - formal languages and automata theory computer science - logic in computer science f.3.1 f.4.1 f.4.3 F.4.3 Computer Science - Logic in Computer Science Computer Science - Formal Languages and Automata Theory F.3.1 F.4.1
ISSN:	1860-5974, 1860-5974
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!