Zusammenfassung
In diesem Kapitel behandeln wir zwei Anwendungen von Automaten auf endlichen Bäumen. Die erste behandelt die Frage, ob zwei Terme eines einfach typisierten λ-Kalküls unter gewissen Kongruenzen gleich sind; die zweite behandelt die bereits zuvor erwähnten XML-Dokumente als Bäume und erklärt, wo Baumautomaten dabei zum Einsatz kommen können. Zum genaueren Verständnis dieses Kapitels ist eine gewisse Vorkenntnis, insbesondere über den λ-Kalkül, evtl. aber auch über XML, hilfreich.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literaturverzeichnis
A. R. Meyer and L. J. Stockmeyer. Word problems requiring exponential time. In Proc. 5th Symp. on Theory of Computing, STOC’73, pages 1–9, New York, 1973. ACM.
T. Schwentick. Automata for XML - a survey. J. Comput. Syst. Sci., 73(3):289–315, 2007.
H. Comon and Y. Jurski. Higher-order matching and tree automata. In Proc. 11th Int. Conf. on Computer Science Logic, CSL’97, volume 1414 of LNCS, pages 157–176. Springer, 1997.
C. Stirling. A game-theoretic approach to deciding higher-order matching. In Proc. 33rd Int. Coll. on Automata, Languages and Programming, ICALP’06, volume 4052 of LNCS, pages 348–359. Springer, 2006.
H. Hosoya and B. C. Pierce. XDuce: A statically typed XML processing language. ACM Trans. Internet Techn., 3(2):117–148, 2003.
R. Loader. Higher order beta matching is undecidable. Logic Journal of the IGPL, 11(1):51–68, 2003.
H. Seidl. Deciding equivalence of finite tree automata. SIAM Journal of Computing, 19(3):424–437, 1990.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Hofmann, M., Lange, M. (2011). Anwendungen. In: Automatentheorie und Logik. eXamen.press. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-18090-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-18090-3_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-18089-7
Online ISBN: 978-3-642-18090-3
eBook Packages: Computer Science and Engineering (German Language)