626 followers
RT @ksknac: @kinaba 昨日のオートマトン妥当性チェックの件ですが, http://t.co/ojMuZTUp という話はあるようです. ただ,受理判定はここで対象にしている準同型にならないのでこの結果はそのまま使えませんが….
RT @ksknac: @kinaba 昨日のオートマトン妥当性チェックの件ですが, http://t.co/ojMuZTUp という話はあるようです. ただ,受理判定はここで対象にしている準同型にならないのでこの結果はそのまま使えませんが….
@kinaba 昨日のオートマトン妥当性チェックの件ですが, http://t.co/ojMuZTUp という話はあるようです. ただ,受理判定はここで対象にしている準同型にならないのでこの結果はそのまま使えませんが….