Restarting tree automata and linear context-free tree languages

  • Authors:
  • Heiko Stamer;Friedrich Otto

  • Affiliations:
  • Fachbereich Elektrotechnik/Informatik, Universität Kassel, Kassel, Germany;Fachbereich Elektrotechnik/Informatik, Universität Kassel, Kassel, Germany

  • Venue:
  • CAI'07 Proceedings of the 2nd international conference on Algebraic informatics
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

We derive a normal form for linear context-free tree grammars that involves only growing productions. Based on this normal form we then show that all linear context-free tree languages are recognized by restarting tree automata which utilize auxiliary symbols.