形式語言

自動機與形式語言理論：正規表示式的背後與喬姆斯基層級