明瞭正規表現については、次の2つの記事で述べています。 Catyの正規表現型：なぜ明瞭正規表現なのか 正規表現とオートマトン：イプシロン指標 Catyに正規表現型（regular expression type）を入れる際に必要となるのでメモしておいたわけですが、説明が完結…