𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Hierarchies of weak automata and weak monadic formulas

✍ Scribed by A.W. Mostowski


Publisher
Elsevier Science
Year
1991
Tongue
English
Weight
773 KB
Volume
83
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Complexity of weak acceptance conditions
✍ Jakub Neumann; Andrzej Szepietowski; Igor Walukiewicz πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 98 KB

Weak acceptance conditions for automata on infinite words or trees are defined in terms of the set of states that appear in the run. This is in contrast with, more usual, strong conditions that are defined in terms of states appearing infinitely often on the run. Weak conditions appear in the contex