Stav dette: Theory of computation