## 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
β¦ LIBER β¦
Locally linear families of languages
β Scribed by Andries P.J. van der Walt
- Book ID
- 114037198
- Publisher
- Elsevier Science
- Year
- 1976
- Weight
- 240 KB
- Volume
- 32
- Category
- Article
- ISSN
- 0019-9958
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
Families of locally testable languages
β
Pascal Caron
π
Article
π
2000
π
Elsevier Science
π
English
β 177 KB
A note on 1-locally linear languages
β
J.M. Autebert; L. Boasson; G. Cousineau
π
Article
π
1978
π
Elsevier Science
β 134 KB
Characterizations of locally testable li
β
Angsheng Li; Yicheng Pan
π
Article
π
2012
π
Elsevier Science
π
English
β 388 KB
McNaughton families of languages
β
M. Beaudry; M. Holzer; G. Niemann; F. Otto
π
Article
π
2003
π
Elsevier Science
π
English
β 410 KB
In 1988 the Church-Rosser languages were introduced by McNaughton et al. as those languages that are recognized by ΓΏnite, length-reducing and con uent string-rewriting systems using extra non-terminal symbols. Here we generalize this concept by considering classes of languages that are obtained by o
An infinite hierarchy of linear local ad
β
Johnson M. Hart
π
Article
π
1973
π
Elsevier Science
β 678 KB
Splicing in abstract families of languag
β
Dennis Pixton
π
Article
π
2000
π
Elsevier Science
π
English
β 240 KB