LARA Exercise 08: WS1S and Tree Automata (Continuing Lecture 08) Slides: pptx, pdf Using Automata to Decide WS1S Remarks on WS1S Complexity Expressing finite automata in MSOL over strings Two Interpretations of WS1S Tree automata and WSkS
