正規表現とオートマトンを取り上げ始めたキッカケは、Catyの型システムに正規表現型（regular expression type）を導入しよう、って話です。配列の項目パターンを正規表現で書きたいということですね。正規表現といえば、そりゃまーオートマトンでしょ。配列…