Computer Transition Systems