ECS 120 5c:4 formal definition of TM semantics

From David Doty  

views comments