Interface now builds TM transition function