Open akoehn opened 8 years ago
Original report by Christoph Teichmann (Bitbucket: cteichmann, GitHub: CTNLP).
InverseHomomorphismAutomaton seems to have problems, especially when computing rules top down that have no children on the rhs automaton side. But there needs to be more thorough overall testing of the algorithms in the class.
Original report by Christoph Teichmann (Bitbucket: cteichmann, GitHub: CTNLP).
InverseHomomorphismAutomaton seems to have problems, especially when computing rules top down that have no children on the rhs automaton side. But there needs to be more thorough overall testing of the algorithms in the class.