Sciweavers

Share
TCS
2008

On the structure of graphs in the Caucal hierarchy

8 years 5 months ago
On the structure of graphs in the Caucal hierarchy
We investigate the structure of graphs in the Caucal hierarchy. We provide criteria concerning the degree of vertices or the length of paths which can be used to show that a given graph does not belong to a certain level of this hierarchy. Each graph in the Caucal hierarchy corresponds to the configuration graph of some higher-order pushdown automaton. e main part of the paper consists of a study of such configuration graphs. We provide tools to decompose and reassemble their runs, and we prove a pumping lemma for higher-order pushdown automata. KEYWORDS. Caucal hierarchy; monadic second-order logic; higher-order pushdown automata
Achim Blumensath
Added 15 Dec 2010
Updated 15 Dec 2010
Type Journal
Year 2008
Where TCS
Authors Achim Blumensath
Comments (0)
books