computational-theory