Automata on infinite objects (0)

by W Thomas