computation theory 9039794