Recursion and state

Despite some deep results, algebraic automata theory has fallen out of favor in theoretical computer science. Reasons include the disciplines failings such as a love of over-generality, weak mathematical background of people working on “formal methods”, and gap between theoreticians

Satyam explodes

WSJ: Satyam Computer Services Ltd. Chairman B. Ramalinga Raju Wednesday resigned admitting to falsifying company accounts and inflating revenue and profit figures over several years, sending the company’s shares plunging 78%. In a letter to the company’s board, which was