Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Convert dot file to automaton #9

Open
iaptsiauri opened this issue Aug 7, 2016 · 3 comments
Open

Convert dot file to automaton #9

iaptsiauri opened this issue Aug 7, 2016 · 3 comments

Comments

@iaptsiauri
Copy link

Is there any implemented way to convert a dot file into Automaton?

@abailly
Copy link
Owner

abailly commented Aug 8, 2016

Unfortunately not, this can actually be quite tricky because the graphviz
grammar is more extensive. But could be easy on a subset...

Le 7 août 2016 17:10, "Ilia Aphtsiauri" [email protected] a écrit :

Is there any implemented way to convert a dot file into Automaton?


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#9, or mute the thread
https://github.com/notifications/unsubscribe-auth/AACdHRFbYdBOHDqBRDdzbpPzpgptJw6Rks5qdfVmgaJpZM4JehK4
.

@iaptsiauri
Copy link
Author

Thanks for response, I am trying to read a DOT file and get an automaton object, can you please additionally provide me with some resources where I can start from to implement this functionality

@abailly
Copy link
Owner

abailly commented Aug 9, 2016

I am AFK right now, so unable to provide precise answers and links but the
basic idea would be to find a library implementing a parser for dot format,
generate an AsT and use that tree to generate an Automaton object.

Alternatively, you could write a grammar using jparsec, a tool for writing
parser using parser combinators that's quite easy to use.

HTH

Le 8 août 2016 13:44, "Ilia Aphtsiauri" [email protected] a écrit :

Thanks for response, I am trying to read a DOT file and get an automaton
object, can you please additionally provide me with some resources where I
can start from to implement this functionality


You are receiving this because you commented.
Reply to this email directly, view it on GitHub
#9 (comment),
or mute the thread
https://github.com/notifications/unsubscribe-auth/AACdHV4oL9EbMaOUPMLzVrsCHWutZMf_ks5qdxaPgaJpZM4JehK4
.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants