La reĝistra aŭtomato

1. Arkitekturo de ĝenerala reĝistra aŭtomato
2. Komandaro de ĝenerala reĝistra aŭtomato

x := x+1

{ alkremento }

x := x/-1

{ t.e. SE x>0 TIAM x:=x-1 ALIE x:=0 }

HALT

{ haltiga komando }

DUM x≠0

{ tiuj 2 lastaj komandoj }

FINO

{ aperu krampe }

Por ĉiu komputebla funkcio f:N₀^m→N₀ⁿ estas reĝistra aŭtomato kiu, komencinte la laboron kun la argumentoj en «la unuaj» m reĝistroj, haltas — se por la koncernaj argumentoj f estas difinita — kun la rezulto en la unuaj n reĝistroj.

Arkitekturo de ĝenerala reĝistra aŭtomato

La ĉefmemoro Ĉ (angle core) estas numerebla sekvenco de «reĝistroj», adreseblaj per sia naturnombra adreso.

La ĉeforgano konsistas el speciala aritmetika reĝistro, la akumulejo A, kaj komandonombrilo K. La enhavo de K estas la numero de tuj plenumota komando el la programo.

Sur la eniga rubando estas skribita teksto en finia signaro (ekz-e Latina-3a). La lega kapeto povas ekzameni, unu post la alia, la signojn de la eniga rubando, kaj sendi iliajn kodonojn al la ĉeforgano, moviĝante dekstren. La skriba kapeto povas nur skribi signojn de la sama signaro, ankaŭ moviĝante dekstren.

Komence de komputado B=1 kaj ĉiuj Ĉ[i]=0. La komandoj plenumataj dum la komputado estas listigitaj malsupre (Komandaro de ĝenerala reĝistra aŭtomato). Ni prezentas ilin en simbola maŝinkodo, kun la difino de ilia semantiko per Paskalaj ordonoj.

Evidente, la arkitekturo de tiu reĝistra aŭtomato estas tre arkaika (responda al la epoko kiam aperis la nocio, ĉ. 1963). Ekz-e ĝi malhavas indicreĝistrojn, stakon ktp (sed ajna memorĉelo uzeblas estiel adresreĝistro por duaranga malrekta adresado). La modernaj arkitekturoj estas iom pli oportunaj kaj rapidaj, tamen la diferenco esprimeblas per koeficiento, ne per grandoordo, tial tiu pli konceptoŝpara modelo estas defendebla.

Komandaro de ĝenerala reĝistra aŭtomato