Unable to open automaton output

In this sheet we are unable to open Automaton output node. The error it prints into console is Uncaught SyntaxError: unmatched ) in regular expression

webui_export.json

added C-webui P-high T-bug labels

The problem is most likely related to the naming of the states. Glushkov algorithm in ALT creates state names in the form (<str>, <int>) and Statemaker can't deal with such names when parsing.

If you run algorithm::simplify::Rename before that, it works. Also it works with DotOutput.

https://gitlab.fit.cvut.cz/algorithms-library-toolkit/webui-client/blob/master/webui/src/utils/import/txt-fit.ts

mentioned in merge request !38 (closed)

mentioned in commit f9faa6de

mentioned in merge request !40 (merged)

mentioned in issue automata-library#225

assigned to @peckato1

mentioned in commit 351faa68

mentioned in commit 3a0e7d35

closed via commit 3a0e7d35

closed via merge request !43 (merged)