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...

Full description

Bibliographic Details

Published in:	Logical methods in computer science Vol. 15, Issue 2; no. 2
Main Authors:	Karandikar, Prateek, Schnoebelen, Philippe
Format:	Journal Article
Language:	English
Published:	Logical Methods in Computer Science Association 01.04.2019 Logical Methods in Computer Science e.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!