���ޡ��ȥե����Ѥ�ɽ���Ǹ���

���塼���󥰥ޥ���

[��] Turing Machine��TM��

���塼���󥰥ޥ����ϡ��׻��Ϸ��ΤҤȤĤǷ׻���������Ū���������뤿���Ρ�ñ�㲽�����۲����줿���۵����Ǥ��롣

1936ǯ�������ꥹ�����ؼ������󡦥��塼����������ʸ�ַ׻���ǽ���ˤĤ��ƨ������������ؤα��ѡפ�ȯɽ���줿��Ʊ�ͤιͤ�����Ʊǯ�����ߡ������ݥ��� (Emil Post) ���ȼ���ȯɽ���Ƥ��롣���ۤ���ͳ��ư���ˤĤ��Ƥϥݥ��Ȥ���ʸ�����Τ��������۵������Τ˴ؤ��뵭�Ҥ����塼����������ʸ���ܺ٤Ǥ��롣

�����μ����˽����������������������褦�ʷ׻��ϡ������夹�٤����塼���󥰥ޥ����Ǽ¹ԤǤ����Ȥ����Ƥ��롣���塼���󥰥ޥ������Τ��Τ�����������¸�ߤǤ��ꡢ�ºݤ�����줿�櫓�ǤϤʤ��������ߤ������ԥ塼�����ͤ��ͤ��������塼���󥰥ޥ����θ����˽��äƤ����ȸ����롣

����

���塼���󥰥ޥ����Ϥ��餫�������ꤵ�줿���Ĥ��Ρ־��֡פ����äƤ��ꡢ���Ρ־��֡פȥإåɤ����ɤ߽Ф����ǡ������Ȥ߹��碌�ˤ��äơ��֥إåɤ��ơ��׾��ǰ��ޥ���ư�������ס֥ơ��פΥإåɤΤ����ޥ��˥ǡ������񤭹����ס֡ؾ��֡٤��ѹ������פΤ����줫��ư�����Ԥ������θ塢��ư���Υإåɰ��֤����ǡ������ɤ߹��ߡ����Υǡ����ȿ������־��֡פ��Ȥ߹��碌�˽��äơ�����ư�����Ԥ���

D