https://twitter.com/kinaba のログ (twilog の方が便利です。)
| きたくしてふろはいったー | |
| @sshi http://b.hatena.ne.jp/sshi/20081202#bookmark-11106117 「hardest context-free language」 というのが知られてて、それが解析できるならどんな文脈自由言語でも解析できるみたいなのがありますね | |
| 他のクラスで同じようなものがあるかどうかはそういえば知らないなあ。 | |
| 「C++ は GLR で解析できます」というのはC++とGLRと解析という単語をどう定義すると真になるのだろう。ElsaみたいなのをGLRで解析できてると見なすということかな | |
| （本来は）LL(k)やLR(k)というのは文法のクラスであって言語のクラスではない/もちろん、LL(k)文法が存在する言語はLL(k)であると言う、と定義はできる/そういう文法ドリブンの定義じゃないもっとsemanticな特徴づけは何かあるんだろか＞LL(k)/LR(k) | |
| ねよう |