The Emptiness and Complementation Problems for Automata on Infinite Trees
In [6] Rabin defines Automata on Infinite Trees, and the body of that paper is concerned with proving two theorems about these automata. The result we consider in the first chapter says that there exists an effective procedure to determine, given an automaton on infinite trees, whether or not it ac...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149416 |