もともとのマイヒル／ネロードの定理は、形式言語理論のなかに位置付けられるものです。しかし僕は、プログラム意味論のなかでマイヒル／ネロードの定理を捉えています。一般化されたマイヒル／ネロードの定理は、プログラムの構文と意味に関して様々なこと…