The features of this package include
computing a rational expression for the language recognized by a finite automaton;
compute an automaton for the language given by a rational expression;
minimalize a finite automaton;
has some features (using the external program GraphViz) to visualize automata;
Package Version | Update ID | Released | Package Hub Version | Platforms | Subpackages |
---|---|---|---|---|---|
1.13-bp153.1.12 info | GA Release | 2021-02-26 | 15 SP3 |
|
|
1.13-bp152.3.13 info | GA Release | 2020-04-16 | 15 SP2 |
|
|
1.13-bp151.2.10 info | GA Release | 2019-05-18 | 15 SP1 |
|
|
1.13-bp150.1.3 info | GA Release | 2018-07-30 | 15 |
|
|