search

coli-saar / alto

Alto, the Algebraic Language Toolkit
Other
16 stars 2 forks source link

makeAllRulesExplicit does not work reliably for BU automata #36

Open akoehn opened 6 years ago

akoehn commented 6 years ago

Original report by JONAS GROSCHWITZ (Bitbucket: jgroschwitz, GitHub: jgroschwitz).

Calling makeAllRulesExplicit processes all rules, but does not reliably store them. In particular, some decomposition automata appear empty in the gui, even when adding makeAllRulesExplicit to the code.