universal machines and evaluation 4313704