Are there Universal Finite or Pushdown Automata
Manfred Kudlek, Patrick Totzke, Georg Zetzsche · 2010
We investigate the (non)-existence of universal automata for various classes of automata, as finite and pushdown automata, and in particular the influence of the representation and encoding function. An alternative approach, using transition systems, is presented too.