infinite alphabets
Start
PA playground
Positions
Semantics
DE
EN
Parametrized automata and variable automata
Complementable Normal Form of Parametrized Automata
Abstract
→ PA playground
Universality of 1-Variable Automata is Decidable
Abstract
→ Positions and tokens