document.write("«&nbsp;<a href='/news/view?id=134174'>Computation and State Machines (2008) [pdf]</a>");document.write(" | ");document.write("<a href='/news/view?id=134176'>Future robo-taxis could charge themselves and help balance the electric grid</a>&nbsp;»");