形式言語理論
形式意味論
抽象数学
圏論
正規表現を組み合わせる
正規表現とオートマトンの記述能力は等価
生成文法
形式言語理論における文法
NFA
DFA