Open noughtmare opened 2 weeks ago
I have changed my mind. I now think the basic definitions should go into the introduction (#14), so section 2 should start with my contributions, for example the definition of the fixed point (and thus context-free languages).
Section 2 should introduce some strictly necessary background and introduce the main problem.
Perhaps in this paper we do not really tackle a very concrete problem.
The background that we have to introduce is probably mostly some of the basic definitions of languages from Conal Elliot's paper.
Additionally, we could consider already introducing context-free grammars in this section.