正規表示式正規表示式由empty language、epsilon、alphabet symbols、union、concatenation與Kleene star遞迴建構語言。atlas-regular-expression · canonical_mko正規表示式前置節點正規語言集合數列數學歸納法