On the Significance of the Collapse Operation

  • Pawel Parys
  • Published 2012 in
    2012 27th Annual IEEE Symposium on Logic in…


We show that deterministic collapsible pushdown automata of second level can recognize a language which is not recognizable by any deterministic higher order pushdown automaton (without collapse) of any level. This implies that there exists a tree generated by a second level collapsible pushdown system (equivalently: by a recursion scheme of second level… (More)
DOI: 10.1109/LICS.2012.62


3 Figures and Tables