提供一种语言概念的观点,即作为遵循特定规则的字符串系统。 涵盖的主题包括逻辑,元语言,证明,有限状态机,图灵机,加密和编码。