finished sketch of binary alphabet converted TM