「正規（regular）」とは何なんだ？ 2 正規構造

• 「正規（regular）」とは何なんだ？ 2 正規構造 : 正規性の、再帰代入系とは別な定式化

はい、アップロードしました。