图灵发明的图灵机是一种__________。