algebraic automata theory

GPTKB entity