标签：年，图灵在发表的论文()中，首次提出图灵机的概念