d:id:tri_iroに書いてある話を読んでいた. BBは (俺の中で) 計算不可能な関数の例でしかなかったので, 色々と蒙を啓かれた. DFAを検査と言ったときには二通りの解釈が出来る DFAの出力だけをメモできる DFAの内部の状態遷移を見てメモできる 例の問題は後者…