4 ms·

Very cool, do you know of any tool that does something similar (provide examples, get regex)?

by bane 7y ago

pottertheotter 7y ago
Microsoft PROSE kind of does. I haven't looked at it for a while so can't quite remember, but might be of interest to you.
jraph 7y ago
I am not sure this is what you are looking for, but I have been working on Aude (AUtomata DEmystifier), an open source pedagogical application targeted at CS teachers and students that works in browsers without installation (but one can download and run it offline too). The aim is to visualise and manipulate automata, including conversions between them and regular expressions. Happy to take feedback! https://aude.imag.fr https://aude.imag.fr
- AlchemistCamp 7y ago
  That's a neat project! What inspired you to start it?
  - jraph 7y ago
    Thanks for the kind words. Well, I was a student and needed to practice the related lesson, "Languages and Automata", before the final exam. So I implemented the algorithms of the lesson and used Graphviz to render the result. The thing worked in a browser but ran on the server (using D!). I figured my fellow students or the teacher may find it useful, so I sent the link to the teacher (in a post-scriptum of a very long mail in which I was asking for help, ah ah). "Your tool seems really interesting, what about you continue developing this during an internship this summer?" Hell, yes. And Aude started. Since then, I was lucky to mentor several interns to work on Aude with this teacher.
    - AlchemistCamp 7y ago
      That is very cool and I'll bet having a steady flow of later cohorts of students helped a ton!
      - jraph 7y ago
        I would not say a steady flow, there were two to three students two months per summer these last three years, but they helped a lot anyway indeed :-) And it was fun to work with them. The first "cohort" of three students called themselves the Aude Team and they put that in their internship report.
Gys 7y ago
Maybe this: http://regex.inginf.units.it/ http://regex.inginf.units.it/

Very cool, do you know of any tool that does something similar (provide examples, get regex)?

by bane 7y ago

Very cool, do you know of any tool that does something similar (provide examples, get regex)?

Microsoft PROSE kind of does. I haven't looked at it for a while so can't quite remember, but might be of interest to you.

jraph 7y ago

I am not sure this is what you are looking for, but I have been working on Aude (AUtomata DEmystifier), an open source pedagogical application targeted at CS teachers and students that works in browsers without installation (but one can download and run it offline too). The aim is to visualise and manipulate automata, including conversions between them and regular expressions. Happy to take feedback! https://aude.imag.fr https://aude.imag.fr

AlchemistCamp 7y ago
That's a neat project! What inspired you to start it?
- jraph 7y ago
  Thanks for the kind words. Well, I was a student and needed to practice the related lesson, "Languages and Automata", before the final exam. So I implemented the algorithms of the lesson and used Graphviz to render the result. The thing worked in a browser but ran on the server (using D!). I figured my fellow students or the teacher may find it useful, so I sent the link to the teacher (in a post-scriptum of a very long mail in which I was asking for help, ah ah). "Your tool seems really interesting, what about you continue developing this during an internship this summer?" Hell, yes. And Aude started. Since then, I was lucky to mentor several interns to work on Aude with this teacher.
  - AlchemistCamp 7y ago
    That is very cool and I'll bet having a steady flow of later cohorts of students helped a ton!
    - jraph 7y ago
      I would not say a steady flow, there were two to three students two months per summer these last three years, but they helped a lot anyway indeed :-) And it was fun to work with them. The first "cohort" of three students called themselves the Aude Team and they put that in their internship report.

Gys 7y ago

Maybe this: http://regex.inginf.units.it/ http://regex.inginf.units.it/