Project Page Index Table of Contents
  • Preliminaries
    • Lists
    • Tactics
  • Definitions
    • Post Correspondence Problem
    • String Rewriting
    • Post Grammars
    • Alphabets
      • Fresh symbols
  • SRH to SR
  • SR to MPCP
  • MPCP to PCP
  • PCP to CFP
  • PCP to CFI
  • TM to SRH
    • Definition of single-tape Turing Machines
    • TM to SR with finite types
    • SR with finite types to SR
    • TM to SRH'
    • SRH' to SRH
  • Post grammars are context-free
  • CFP to CFI
Generated by coqdoc and improved with CoqdocJS