پاورپوينت ماشین های تورینگ، تشخیص پذیری و تصمیم پذیری زبان ها