- Java 8
- It's not done yet, but can be used for making some Finite State Machines and doing basic operations on them.
- To run this program, run
./gradlew run. - The program is split into two halves, the left being to manipulate the currently selected FSM and the right being to display the current affected FSM, allowing you to navigate around it and zoom in. Graphviz generates images, so there is not currently touch-interactivity, I have been thinking about how to do that and fearing the day I start trying.
- There are three pages for manipulations, the first being to simply edit or generate the current FSM, the second to perform some simple manipulations (product, other ones), and the third page being for experimental UStructure generation and analysis. It's a research program implementing a body of theory that usually stays theory, so lot's of experimental stuff here but hopefully this'll be very useful once it's done.
- That's about it, I'm planning on writing specific tutorials for each page but a lot of other development goals are gonna come first to make it something that people want to use before making it something that's nice to use; hopefully that interim period is very short.
This program exists as a research tool, so what you can do with the UI will often be pretty far behind what is implemented for use with specific test environments I run from inside my IDE. For the most up-to-date examples of what the program can do, check the file DataGathering.java which is the central hub of my test configurations, with many of the specified systems of automata that are tested on being defined in the help package. It's likely very dense for others to use as it's been shaped around my specific needs for it, but I've tried to make it (once you get the flow of it) easy to use; feel free to contact me (the upstream owner) with any questions you have.