Posplošitev regularnih izrazov

[matijapretnar]

S profesorjem sva razmišljala, da bi lahko delujoč algoritem posplošila do takega, ki generira vse elemente danega podatkovnega tipa. Za začetek si lahko izbereta nek konkreten tip, npr. dvojiška drevesa nad Integerji. Treba bo popraviti definicije regularnih izrazov in avtomatov, da bodo namesto znakov in konkatenacije uporabljali konstruktorje dreves.

Ko vama bo to delovalo, pa si poglejta Template Haskell, ki omogoča, da take popravljene avtomate sestavite samodejno iz definicije podatkovnega tipa.

[tadeboro]

Še uradno zapiram temo, za katero smo ugotovili oz. se odločili, da ji ne bomo sledili.