953 followers
この観点から,flat ACS with f.m.p. は, flat counter machines(https://t.co/zpLs17oif6)の自然な拡張で, 決定可能性はこの辺(https://t.co/GUk1VOUzQ7)から出るそうなので賢いなあすごい
この観点から,flat ACS with f.m.p. は, flat counter machines(https://t.co/zpLs17oif6)の自然な拡張で, 決定可能性はこの辺(https://t.co/GUk1VOUzQ7)から出るそうなので賢いなあすごい
https://t.co/eJ5Yw9Tecs これは嘘ですね… open problemだ,というのが正しいと思います.
https://t.co/GUk1VOUzQ7 finite monoid propertyがないとundecidableになるっぽいか.