Implemented TuringState-IDs