枚挙可能

これは、オートマトンの最後の授業でもあったとおり。枚挙可能は、値が求まるときは、停止して値を返すが、求まらないときは停止しないような関数である。