Masanori Ogino omasanori@mstdn.maud.io

「『長さが2の階乗となる回文』を表すPEGが書けるよ」（え、強いな）「PEGはcomputationally "universal"だよ（以下定義）」（えーと、普通の意味でのcomputationally universalはチューリング完全と同義なんだけど定義読まないと""で括った理由がわからんな）「PEGには反復補題ないよ」（マジか、まあcomputationally universalならそうなのか）「PEGは（アブストに定義されている上界に支配されない文法が存在できるという意味で）non real-timeだよ」（よくわからんけどつらそう）