Алгарытм вырашэння праблемы прыняцця машын Цьюрынга ўключае два этапы: этап мадэлявання і этап праверкі. Гэтыя крокі важныя для доказу невырашальнасці праблемы. На этапе мадэлявання мы мадэлюем дадзеную машыну Цьюрынга (TM) на пэўным уваходным радку. Гэта ўключае ў сябе пабудову новай TM, часта згадваецца