Full implementation of (TC,SPACE), (TC,SCOE), (TM,SPACE), (TM,SCOE)