3,152 followers
GF(2)文法の論文チラ見してたんだけど { a^n b^m c^l | n != m or m != l } が本質的に曖昧な文脈自由言語かどうかって未解決問題だったらしい.へぇ. でそれがこの論文で解かれたと.2へぇ. https://t.co/cj0HStks0Y
GF(2)文法の論文チラ見してたんだけど { a^n b^m c^l | n != m or m != l } が本質的に曖昧な文脈自由言語かどうかって未解決問題だったらしい.へぇ. でそれがこの論文で解かれたと.2へぇ. https://t.co/cj0HStks0Y
LL(1)言語族には最難関言語 L_0 (任意のLL(1)言語LがL_0の準同型の逆像で書ける)が存在するが、LL(2)には存在しないっぽい.へぇ. https://t.co/DklAEgdDvq