%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 automata nlp 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-10T18:08:45.000+0100}, author = {Stamer, Heiko and Otto, Friedrich}, biburl = {https://www.bibsonomy.org/bibtex/28f6503f29d5073e912cebb5ea0fee358/stefano}, 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 automata nlp languages}, pages = {510--521}, publisher = {Springer-Verlag}, series = {Lecture Notes in Computer Science}, timestamp = {2007-02-10T18:08:45.000+0100}, title = {Restarting {T}ree {A}utomata}, volume = 4362, year = 2007 }