Proof Theory and Formal Grammars: Applications of Normalization

  title={Proof Theory and Formal Grammars: Applications of Normalization},
  author={Hans Joerg Tiede},
We survey results about the proof theoretic approach to formal grammars, concentrating on those that can be obtained from the normalization theorem. In particular, we survey results that relate proof theoretic grammars to context-free grammars and results on the strong generative capacity of proof theoretic grammars. The paper concludes with a list of open problems concerning different issues of complexity of proof theoretical grammars. 


Publications referenced by this paper.

Similar Papers