The study of automata and formal languages is fundamental to understanding the limits of computation.
"The true mystery of the world is the visible, not the invisible."
编程语言中最重要的就是名字。没有好名字的语言不会成功。我最近发明了一个非常好的名字,现在正在寻找合适的语言。