3,334 followers
Closures in Formal Languages and Kuratowski’s Theorem https://t.co/tjK5ciDNGq
Closures in Formal Languages and Kuratowski’s Theorem https://t.co/tjK5ciDNGq
RT @kinaba: http://t.co/uvjJddXloV ある文脈自由言語が別の文脈自由言語に含まれるかの判定は一般に決定不能だけどDyck言語(バランス取れた括弧言語)に含まれるかは多項式時間で決定可能という結果知らなかった。面白い。一般化の仕方とアルゴリズムもか…
http://t.co/uvjJddXloV ある文脈自由言語が別の文脈自由言語に含まれるかの判定は一般に決定不能だけどDyck言語(バランス取れた括弧言語)に含まれるかは多項式時間で決定可能という結果知らなかった。面白い。一般化の仕方とアルゴリズムもかっこいい括弧言語だけに