Locally testable semigroups
β Scribed by Yechezkel Zalcstein
- Book ID
- 110560148
- Publisher
- Springer
- Year
- 1972
- Tongue
- English
- Weight
- 535 KB
- Volume
- 5
- Category
- Article
- ISSN
- 0037-1912
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
This paper studies the locally testable languages (or "events") introduced by McNaughton and Papert. We characterize these languages by means of their syntactic semigroups and obtain wreath product and direct product decompositions for these semigroups. As a by-product of our study, we find an algeb
We give an algebraic characterization of a new variety of languages that will be called bilateral locally testable languages and denoted as BLT. Given k ΒΏ 0, the membership of a word x to a BLT (k-BT) language can be decided by means of exploring the segments of length k of x, as well as considering
## Kim, McNaughton and McCloskey have produced a polynomial time algorithm in order to test if a deterministic automaton recognizes a locally testable language. We provide a characterization in terms of automata for the strictly locally testable languages and for the strongly locally testable lang