@Inproceedings{EPTCS88.7, author = {Kudlek, Manfred}, year = {2012}, title = {On the Existence of Universal Finite or Pushdown Automata}, editor = {Kashefi, Elham and Krivine, Jean and Raamsdonk, Femke van}, booktitle = {{\rm Proceedings 7th International Workshop on} Developments of Computational Methods, {\rm Zurich, Switzerland, 3rd July 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {88}, publisher = {Open Publishing Association}, pages = {79-86}, doi = {10.4204/EPTCS.88.7}, }