ماشین تورینگ,Turing Machine,نظریه زبان‌ها و ماشین‌ها