Full threadpraptak·The completeness of CTS was also used in the proof of completeness of the 2-state 3-symbol Turing machine.View on HN