Counter-machine model とは

このページはカウンターマシンを補うものです。
いくつかの作者は "counter machine"という名前を "counter machine"と同義語に使用していますが、この記事では "register machine"の "counter machine"という最も原始的な種の詳細と例を挙げています。
Hermes(1954)、Kaphengst(1957)、Ershov(1958)、Péter(1958)、Minsky(1961)、Minsky(1967)、Melzak(1961)のモデルは、 )、Lambek(1961年)、ShepherdsonとSturgis(1963年)、Schönhage(1980年)などがある。これらのモデルについては、以下でより詳細に説明する。