形式语言和自动机

概述

形式语言和自动机是计算机科学中的重要理论基础。

形式语言是由字母表上的字符串组成的集合。

自动机是用来识别形式语言的抽象计算模型。