代名詞に関する文法規則を定式化したいと思った。定式化してみた所、以下のようになった。 C(k)=Sen (k=1,2,3)ただしSen=1:⇔文=正規文Sen=0:⇔文=非文かつC(k)=1:⇔文がckを満たすC(k)=0:⇔文がckを破る(前提:代名詞以外の要素は全て正規)以下導出。ckの定義も…