Added some computation-theoretic notes