H. Stamer, and F. Otto. SOFSEM 2007, volume 4362 of Lecture Notes in Computer Science, page 510--521. Springer-Verlag, (2007)
Abstract
Restarting automata were introduced to model the
linguistic concept of analysis by reduction.
In recent years there was a growing effort to study classes of formal
languages that are generated by different variants of these automata.
We follow this line of research and generalize the model to a more
complex data structure: free term algebras (or trees).
Many of the known results about restarting automata
on strings carry over to the new model.
We study the expressive power of restarting tree automata
and prove some closure properties.
%0 Conference Paper
%1 StamerOtto:2007:SOFSEM
%A Stamer, Heiko
%A Otto, Friedrich
%B SOFSEM 2007
%D 2007
%E van Leeuwen et al., Jan
%I Springer-Verlag
%K formal restarting tree automata languages
%P 510--521
%T Restarting Tree Automata
%V 4362
%X Restarting automata were introduced to model the
linguistic concept of analysis by reduction.
In recent years there was a growing effort to study classes of formal
languages that are generated by different variants of these automata.
We follow this line of research and generalize the model to a more
complex data structure: free term algebras (or trees).
Many of the known results about restarting automata
on strings carry over to the new model.
We study the expressive power of restarting tree automata
and prove some closure properties.
%@ 978-3-540-69506-6
@inproceedings{StamerOtto:2007:SOFSEM,
abstract = {Restarting automata were introduced to model the
linguistic concept of \emph{analysis by reduction}.
In recent years there was a growing effort to study classes of formal
languages that are generated by different variants of these automata.
We follow this line of research and generalize the model to a more
complex data structure: free term algebras (or trees).
Many of the known results about restarting automata
on strings carry over to the new model.
We study the expressive power of restarting tree automata
and prove some closure properties.},
added-at = {2007-02-09T10:03:27.000+0100},
author = {Stamer, Heiko and Otto, Friedrich},
biburl = {https://www.bibsonomy.org/bibtex/28f6503f29d5073e912cebb5ea0fee358/stamer},
booktitle = {SOFSEM 2007},
description = {My publications},
editor = {van Leeuwen et al., Jan},
interhash = {974bc57556d8cd14d2f2f730a5c1a71e},
intrahash = {8f6503f29d5073e912cebb5ea0fee358},
isbn = {978-3-540-69506-6},
issn = {0302-9743},
keywords = {formal restarting tree automata languages},
pages = {510--521},
publisher = {Springer-Verlag},
series = {Lecture Notes in Computer Science},
timestamp = {2007-02-09T10:03:28.000+0100},
title = {Restarting {T}ree {A}utomata},
volume = 4362,
year = 2007
}