A mathematical model of computation was defined that was argued informally to contain representative...