正規言語と代数と論理の対応:An Introduction to Eilenberg’s Variety Theorem
AVX2時代の正規表現マッチング 〜半群でぐんぐん!〜
正規表現入門 星の高さを求めて