Piecewise testable tree languages
Abstract
This paper presents a decidable characterization of tree languages that can be defined by a boolean combination of Sigma_1 sentences. This is a tree extension of the Simon theorem, which says that a string language can be defined by a boolean combination of Sigma_1 sentences if and only if its syntactic monoid is J-trivial.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2012
- DOI:
- 10.48550/arXiv.1208.5129
- arXiv:
- arXiv:1208.5129
- Bibcode:
- 2012arXiv1208.5129B
- Keywords:
-
- Computer Science - Formal Languages and Automata Theory;
- F.4.3;
- F.4.1
- E-Print:
- Logical Methods in Computer Science, Volume 8, Issue 3 (September 29, 2012) lmcs:1216