正規言語と代数と論理の対応：An Introduction to Eilenberg’s Variety Theorem http://www.slideshare.net/sinya8282/an-introduction-to-eilenbergs-variety-theorem を今更ながら見た。 正規言語のvarietyの話とか全然知らなかったし、単項二階述語論理と正規言語の関係は一応知っていたけれど、一階だとstar-free言語になるとか面白いなぁ。