./fatool not printing regex

[AvalZ]

Hi!
I am trying to print the minimized PCRE from multiple starting PCREs using fatool.

For example, I tried ^abc$ and ^abd$, expecting something like ^ab(c|d)$.
I expected --out 're:-' to work, but it gives a --out not supported for format - error.

I tried another render format, text, by running

./fatool --in 're:^abc$' --in 're:^abd$' --min --dfa --out text:-

and it works as expected, by yelding the following output:

NFA: states=9 trans=8
DFA: states=5 trans=4
MDFA: states=4 trans=3
re:^(abc)|(abd)$: overlap_n=0 accepting=1 no overlap
1:
  c -> 3
  d -> 3
2:
  b -> 1
3:t
4:s
  a -> 2

The same works for the dot format, and it gives the expected result.

Is there any way to also print the resulting regex?

Thanks!

[wader]

Hi! Sorry there is currently no support for transforming a FA to a RE. I remember looking into it but never finished it, would be an interesting challange :) maybe ill have look at it or you are also very welcome looking into it if you want? would be a nice addition.

…

-Mattias fre 14 aug. 2020 kl. 12:52 skrev Andrea Valenza <[email protected]>:

Hi! I am trying to print the minimized PCRE from multiple starting PCREs using fatool. For example, I tried ^abc$ and ^abd$, expecting something like ^ab(c|d)$. I expected --out 're:-' to work, but it gives a --out not supported for format - error. I tried another render format, text, by running ./fatool --in 're:^abc$' --in 're:^abd$' --min --dfa --out text:- and it works as expected, by yelding the following output: NFA: states=9 trans=8 DFA: states=5 trans=4 MDFA: states=4 trans=3 re:^(abc)|(abd)$: overlap_n=0 accepting=1 no overlap 1: c -> 3 d -> 3 2: b -> 1 3:t 4:s a -> 2 The same works for the dot format, and it gives the expected result. Is there any way to also print the resulting regex? Thanks! — You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub <#3>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AABNJXWZPZVIPM7YKM7R3ITSAUJP3ANCNFSM4P7MCBIA> .

[AvalZ]

Thanks! I'll look into that, if I'm able to add something useful I will definitely make a PR.