Suchergebnisse - theory of computation/computation by abstracts devices/models of computation/automatic