Require Export Undecidability.PCP.Definitions.

(* Problems concerning context-free grammars *)

(* Verification of PCP-Related Computational Reductions in Coq. Yannick Forster, Edith Heiter, and Gert Smolka. ITP 2018. Subdirectory `PCP`. https://ps.uni-saarland.de/extras/PCP  *)

About CFP.  (* palindromes in context-free grammas *)
About CFI.  (* intersection of context-free grammars *)
