Reverzibilno računalništvo

Abstract

Današnji računalniki delujejo tako, da so števila in podatki predstavljeni z dvojiškim sistemom, računanje pa je izvedeno kot zaporedje Boolovih operacij. Ta model je mogoče zelo dobro udejaniti s pomočjo električnih signalov. Ker želimo vedno manjše in hitrejše računalnike pa danes raziskovalci raziskujejo tudi radikalno drugačne tehnologije kot je npr. kvantni računalnik. Pomembna teorija na poti do novih temeljev računalništva je teorija reverzibilnega računalništva. Reverzibilna vezja imajo lastnost, da delujejo v obeh smereh, torej lahko nastavimo vrednosti na izhodni strani, rezultat pa dobimo na vhodni strani. V tem prispevku podamo matematične osnove potrebne za načrtovanje takšnih vezij.