Регистровые машины со счётчиками и невычислимые функциидоклад на конференции