Masanori Ogino 𓀁

181351 posts 1993 follows 1215 followers

Please pay attention to random failures.

Masanori Ogino 𓀁 omasanori@mstdn.maud.io

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