Descriptive Set Theoretic Methods in Automata Theory, p.45-69
Details
- Autor(en) / Beteiligte
- Titel
- When a Büchi Language Is Definable in wmso
- Ist Teil von
- Descriptive Set Theoretic Methods in Automata Theory, p.45-69
- Ort / Verlag
- Berlin, Heidelberg: Springer Berlin Heidelberg
- Link zum Volltext
- Quelle
- Alma/SFX Local Collection
- Beschreibungen/Notizen
- A natural subclass of regular tree languages are those that can be defined in weak monadic second-order logic (wmso).
- Sprache
- Englisch
- Identifikatoren
- ISBN: 3662529467, 9783662529461ISSN: 0302-9743eISSN: 1611-3349DOI: 10.1007/978-3-662-52947-8_4Titel-ID: cdi_springer_books_10_1007_978_3_662_52947_8_4
- Format
- –
- Schlagworte
- Active State, Boundedness Theorem, Successive State, Tree Automaton, Winning Strategy