The parser constructs the AST corecursively, producing nodes as it discovers deeper structure.

Corecursion enables programmers to generate potentially infinite data structures by defining how results evolve rather than how inputs are consumed.

The corecursive stream producer allowed the program to generate infinite sequences lazily.

The research paper lists several corecursively enumerable languages that resist conventional decision procedures.