comptheory: decidability