The study of automata and formal languages is fundamental to understanding the limits of computation.
We are all of us, in our different ways, seeking to escape the trap of our own minds.
如果我们从一开始就能预见,甚至证明,遵循某种方法我们将达到我们的目标,那么这种解决方法就是完美的。
Quality is never an accident; it is always the result of intelligent effort.
天下的事情有难易之分吗?只要去做,难的也会变容易;不去做,容易的也会变难