Abstract
Regulated rewriting is one of the classical areas in Formal Languages, as tree automata are a classical topic. Somewhat surprisingly, there have been no attempts so far to combine both areas. Here, we start this type of research, introducing regulated tree automata, proving in particular characterizations of the yields of such regulated automata.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Bordihn, H., Fernau, H.: Accepting grammars with regulation. Int. J. Comput. Math. 53(1–2), 1–18 (1994). https://doi.org/10.1080/00207169408804310
Comon, H., et al.: Tree Automata, Techniques and Applications (2007). http://tata.gforge.inria.fr/
Csuhaj-Varjú, E., Dassow, J., Kelemen, J., Păun, G.: Grammar Systems: A Grammatical Approach to Distribution and Cooperation. Gordon and Breach, Newark (1994). https://dl.acm.org/citation.cfm?id=561869
Dassow, J., Păun, G.: Regulated Rewriting in Formal Language Theory. EATCS Monographs in Theoretical Computer Science, vol. 18. Springer, Heidelberg (1989)
Doner, J.: Tree acceptors and some of their applications. J. Comput. Syst. Sci. 4(5), 406–451 (1970). https://doi.org/10.1016/S0022-0000(70)80041-1
Fernau, H., Bordihn, H.: Remarks on accepting parallel systems. Int. J. Comput. Math. 56, 51–67 (1995). https://doi.org/10.1080/00207169508804387
Fernau, H.: Graph-controlled grammars as language acceptors. J. Autom. Lang. Comb., pp. 79–91. (1997). https://doi.org/10.25596/jalc-1997-079
Fernau, H.: Parallel grammars: a phenomenology. Grammars 6(1), 25–87 (2003). https://doi.org/10.1023/A:1024087118762
Fernau, H.: Cooperating distributed tree automata. In: Bordihn, H., Kutrib, M., Truthe, B. (eds.) Languages Alive; Dassow Festschrift. LNCS, vol. 7300, pp. 75–85. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31644-9_5
Fernau, H., Holzer, M., Bordihn, H.: Accepting multi-agent systems: the case of cooperating distributed grammar systems. Comput. Artif. Intell. 15, 123–139 (1996)
Freund, R., Kogler, M., Oswald, M.: A general framework for regulated rewriting based on the applicability of rules. In: Kelemen, J., Kelemenová, A. (eds.) Computation, Cooperation, and Life. LNCS, vol. 6610, pp. 35–53. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-20000-7_5
Gécseg, F., Steinby, M.: Tree Automata. Akadémiai Kiadó, Budapest (1984)
Kallmeyer, L.: Parsing Beyond Context-Free Grammars. Cognitive Technologies. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14846-0
Meduna, A., Kolář, D.: Regulated pushdown automata. Acta Cybern. 14(4), 653–664 (2000). http://www.inf.u-szeged.hu/actacybernetica/edb/vol14n4/Meduna2000ActaCybernetica.xml
Meduna, A., Zemek, P.: Regulated Grammars and Automata. Springer, New York (2014). https://doi.org/10.1007/978-1-4939-0369-6
Thatcher, J.W.: Characterizing derivation trees of context-free grammars through a generalization of finite automata theory. J. Comput. Syst. Sci. 1(4), 317–322 (1967). https://doi.org/10.1016/S0022-0000(67)80022-9
Vu, M.: Regulierte Grammatiken und regulierte Baumautomaten. Bachelorarbeit, Informatikwissenschaften, Universität Trier, Germany (2016)
Wood, D.: Bicolored digraph grammar systems. RAIRO Theor. Inform. Appl. 7(1), 45–52 (1973). http://www.numdam.org/article/M2AN_1973__7_1_45_0.pdf
Zetzsche, G.: On erasing productions in random context grammars. In: Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F., Spirakis, P.G. (eds.) ICALP 2010. LNCS, vol. 6199, pp. 175–186. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-14162-1_15
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 IFIP International Federation for Information Processing
About this paper
Cite this paper
Fernau, H., Vu, M. (2019). Regulated Tree Automata. In: Hospodár, M., Jirásková, G., Konstantinidis, S. (eds) Descriptional Complexity of Formal Systems. DCFS 2019. Lecture Notes in Computer Science(), vol 11612. Springer, Cham. https://doi.org/10.1007/978-3-030-23247-4_9
Download citation
DOI: https://doi.org/10.1007/978-3-030-23247-4_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-23246-7
Online ISBN: 978-3-030-23247-4
eBook Packages: Computer ScienceComputer Science (R0)