v0.1.2
Fix bug in the computation of the concatenation of two DFAs (#111). This bug affected the correctness of some transformations, e.g. a U (b U c)
.
Fix bug in the computation of the concatenation of two DFAs (#111). This bug affected the correctness of some transformations, e.g. a U (b U c)
.