×

Systolic trees and systolic language recognition by tree automata. (English) Zbl 0501.68046


MSC:

68Q45 Formal languages and automata

Citations:

Zbl 0493.68054
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Baker, B., Generalized syntax directed translation, tree transducers, and linear space, SIAM J. Comput., 7, 376-391 (1978) · Zbl 0379.68052
[2] Culik, K.; Gruska, J.; Salomaa, A., On a family of \(L\) languages resulting from systolic tree automata, (Research Report CS-81-36 (1981), Department of Computer Science, University of Waterloo: Department of Computer Science, University of Waterloo Waterloo, Ontario) · Zbl 0549.68081
[3] Culik, K.; Gruska, J.; Salomaa, A., Systolic automata for VLSI on balanced trees, (Research Report CS-82-01 (1982), Department of Computer Science, University of Waterloo: Department of Computer Science, University of Waterloo Waterloo, Ontario) · Zbl 0493.68054
[4] Culik, K.; Salomaa, A.; Wood, D., VLSI systolic trees as acceptors, (Research Report CS-81-32 (1981), Department of Computer Science, University of Waterloo: Department of Computer Science, University of Waterloo Waterloo, Ontario)
[5] Engelfriet, J., Tree automata and tree grammars, (DAIMI Report FN-10 (1975), University of Aarhus: University of Aarhus Aarhus, Denmark) · Zbl 0938.68681
[6] Engelfriet, J., Surface tree languages and parallel derivation trees, Theoret. Comput. Sci., 2, 9-27 (1976) · Zbl 0346.68040
[7] Gécseg, F.; Steinby, M., A faautomatak algebrai elmélete I-II, Matem. Lapok, 27, 283-336 (1979) · Zbl 0475.68032
[8] Rounds, W. C., Mappings and grammars on trees, Math. Systems Theory, 4, 257-287 (1970) · Zbl 0203.30103
[9] Rozenberg, G.; Salomaa, A., The Mathematical Theory of L Systems (1980), Academic Press: Academic Press New York · Zbl 0365.68072
[10] Steinby, M., On the structure and realizations of tree automata, (Proc. 2éme Colloquium sur les Arbres en Algébre et en Programmation (1977), Université de Lille 1: Université de Lille 1 Lille), 235-248 · Zbl 0364.94095
[11] Thatcher, J. W., \(Generalized^2\) sequential machine maps, J. Comput. System Sci., 4, 339-367 (1970) · Zbl 0198.03303
[12] Thatcher, J. W., Tree automata: an informal survey, (Aho, A. V., Currents in the Theory of Computation (1973), Prentice-Hall: Prentice-Hall Englewood Cliffs, NJ), 143-172
[13] Thatcher, J. W.; Wright, J. B., Generalized finite automata theory with an application to a decision problem of second order logic, Math. Systems Theory, 2, 57-81 (1968) · Zbl 0157.02201
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.