- Tytuł:
- Tinput-Driven Pushdown, Counter, and Stack Automata
- Autorzy:
-
Kutrib, M.
Malcher, A.
Wendlandt, M. - Data publikacji:
- 2017
- Słowa kluczowe:
-
machine theory
boolean functions
decidability
equivalence
finite state machine - Pokaż więcej
- Dostawca treści:
- BazTech