Deterministic TM : also known as standard/General TM , it can halt and hang too. Means L(DTM) is RE.
Halting TM : it can't hang , means HTM halts on every possible i/p. L(HTM) is REC.
64.3k questions
77.9k answers
244k comments
80.0k users