- Tytuł:
- An Improved Construction of Deterministic Omega-automaton Using Derivatives
- Autorzy:
- Redziejowski, R.R.
- Data publikacji:
- 2012
- Słowa kluczowe:
-
omega-regular languages
automata
derivative automaton
run tree - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł