The search functionality is under construction.
The search functionality is under construction.

Keyword Search Result

[Keyword] Thatcher's theorem(1hit)

1-1hit
  • Stack Tree Automata and Their Relation to Context-Free Grammars with Memory

    Etsuro MORIYA  

     
    PAPER-Automata, Languages and Theory of Computing

      Vol:
    E77-D No:10
      Page(s):
    1086-1093

    As a generalization of the tree automaton, tree automata with various types of memory are introduced and their relation to context-free grammars with memory is studied. Relations between computation trees of tree automata with memory and derivation trees of context-free grammars with memory are established, and as a consequence, the languages generated by context-free grammars with memory are characterized in terms of the sets of trees recognizable by tree automata with memory. Also various types of traversal of labeled trees recognizable by tree automata with memory are considered.