作為用於形式邏輯和理論計算機科學中的計算模型,計數器機是暫存器機模型的最原始...D. McIlroy and V. Vyssots of the Bell telephone Laborators and with ...