1-Bounded TWA cannot be determinized

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2914, Issue , 2003, Pages 62-73

  Bojañczyk, Mikołaj ^a  

^a UNIVERSITY OF WARSAW   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL LINGUISTICS; SOFTWARE ENGINEERING;

ONE-PASS; SEQUENTIAL MODEL; TREE LANGUAGES; TREE-WALKING AUTOMATON;

FORESTRY;

LANGUAGES; TREES;

EID: 30844466797     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24597-1_6     Document Type: Article

References (9)

1. A. V. Aho and J. D. Ullman. Translations on a context-free grammar. Information and Control, 19:439-475, 1971.
2. A. Brügemann-Klein and D. Wood. Caterpillars, a context specification technique. Markup Languages, 2(1):81-106, 2000.
3. E. M. Clarke and E. A. Emerson. Design and synthesis of synchronization skeletons using branching time temporal logic. In Logics of Programs: Workshop, volume 131 of LNCS, pages 52-71, 1981.
4. J. Engelfriet and H. J. Hoogeboom. Tree-walking pebble automata. In G. Paum J. Karhumaki, H. Maurer and G. Rozenberg, editors, Jewels are forever, contributions to Theoretical Computer Science in honor of Arto Salomaa, pages 72-83. Springer-Verlag, 1999.
5. J. Engelfriet, H. J. Hoogeboom, and J.-P. van Best. Trips on trees. Acta Cybernetica, 14:51-64, 1999.
6. T. Kamimura and G. Slutzki. Parallel two-way automata on directed ordered acyclic graphs. Information and Control, 49(1):10-51, 1981.
7. T. Milo, D. Suciu, and V. Vianu. Type-checking for XML transformers. In Proceedgins of the Nineteenth ACM Symposium on Principles of Database Systems, pages 11-22, 2000.
8. F. Neven. Automata, logic, and XML. In Julian C. Bradfield, editor, Computer Science Logic, 16th International Workshop, 11th Annual Conference of the EACSL, volume 2471 of LNCS, pages 2-26, 2002.
9. F. Neven and T. Schwentick. On the power of tree-walking automata. In Automata, Languages and Programming, 27th International Colloquium, ICALP 2000, volume 1853 of LNCS, 2000.