Removed references to original transition diagram and state table