TM2Tms
Description
This module provides functionality for converting the Turing machine TM to Tms.
TM
Tms
tm2tms :: TM -> Either String Tms Source #