形式言語・形式文法

[0005 名無しさん＠お腹いっぱい。 2007/02/10(土) 10:36:33 ID:axRz77Wf0]

pigeonhole principleより自明 Q.E.D.