- Tytuł:
- It is Undecidable if Two Regular Tree Languages can be Separated by a Deterministic Tree-walking Automaton
- Autorzy:
- Bojańczyk, M.
- Data publikacji:
- 2017
- Słowa kluczowe:
-
machine theory
algorithms
computational geometry
Boolean functions
natural numbers - Pokaż więcej
- Dostawca treści:
- BazTech