In folly ripe. In reason rotten. Putting machine theology to rest
introduction to automata theory , languages and computation .