comptheory: Decidable Problems Concerning CFL