@article{ITA_1988__22_3_319_0, author = {Salomaa, Kai}, title = {Yield-languages recognized by alternating tree recognizers}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, volume = {22}, year = {1988}, pages = {319-339}, mrnumber = {963595}, zbl = {0656.68087}, language = {en}, url = {http://dml.mathdoc.fr/item/ITA_1988__22_3_319_0} }
Salomaa, Kai. Yield-languages recognized by alternating tree recognizers. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 22 (1988) pp. 319-339. http://gdmltest.u-ga.fr/item/ITA_1988__22_3_319_0/
1. Indexed Grammars. An Extension of Context-free Grammars, J. Assoc. Comput. Mach., Vol. 15, 1968, pp. 647-671. | MR 258547 | Zbl 0175.27801
,2. Alternation, J. Assoc. Comput. Mach., Vol. 28, 1981, pp. 114-133. | MR 603186 | Zbl 0473.68043
, and ,3. Tree Automata, Akadémiai Kiadó, Budapest, 1984. | MR 735615 | Zbl 0537.68056
and ,4. Introduction to Automata Theory, Language, and Computation, Addison-Wesley, 1979. | MR 645539 | Zbl 0426.68001
and ,5. Alternating Pushdown and Stack Automata, SIAM J. Comput., Vol. 13, 1984, pp. 135-155. | MR 731032 | Zbl 0538.68039
, and ,6. Alternating Automata, the Weak Monadic Theory of the Tree, and its Complexity, Proc. of 13th ICALP, Lect. Notes Comput. Sci., Vol. 226, 1986, pp. 275-283. | MR 864690 | Zbl 0617.03020
, and ,7. One-sided and Two-sided Context in Formal Grammars, Inf. Control, Vol. 25, 1974, pp. 371-392. | MR 356593 | Zbl 0282.68035
,8. Mappings and Grammars on Trees, Math. Systems Theory, Vol. 4, 1970, pp. 257-287. | MR 269440 | Zbl 0203.30103
,9. Formal Languages, Academic Press, NewYork, 1973. | MR 438755 | Zbl 0262.68025
,10. Alternating Botton-up Tree Recognizers, Proc. of llth CAAP, Lect. Notes Comput. Sci., Vol. 214, 1986, pp. 158-171. | MR 848792 | Zbl 0599.68059
,11. Alternating Tree Automa, Proc. of 8th CAAP, Lect. Notes Comput. Sci., Vol. 159, 1983, pp. 392-404. | MR 744224 | Zbl 0523.68043
,