LARA Lecture 16 Continuing WS1S Continuing Lecture 15 Using Automata to Decide WS1S Remarks: Remarks on WS1S Complexity Expressing finite automata in MSOL over strings ListReverse.java WS2S Tree automata References Logic and Automata Theory Course Languages, Automata, and Logic, by Wolfgang Thomas Tree Automata Techniques and Applications (Tata book) The MONA Project Timbook for Reachability Analysis and Tree Automata Calculations Decidability of Second-Order Theories and Automata on Infinite Trees Efficient Static Analysis of XML Paths and Types
