https://henryksloan.github.io/sugarcubes/
Sugarcubes is a library and application for automata and formal languages. It is inspired by JFLAP, and is intended to eventually to be an alternative to JFLAP.
Double-click the background to add a state.
Double-click a state and drag onto another state (or the same state) to add a transition.
Click and drag a state to move it.
Right click a state for more options, such as deleting it or making it initial or final.
Right click a transition symbol for more options, like deleting it.
To build the desktop frontend, run:
cargo run --release
To build for WASM, run:
# Add the WASM compilation target if you haven't already
rustup target add wasm32-unknown-unknown
cargo build --release --target wasm32-unknown-unknown
This will produce a WASM binary in target/wasm32-unknown-unknown/release/sugarcubes.wasm, which can be placed in the docs directory and hosted as described in the miniquad docs.
Sugarcubes is in an early stage of development, having support for editing and simulating finite automata. The first MVP will be a fully usable finite automaton simulator and editor.
- Usable FA edit mode
- State labels
- Keyboard shortcuts for context menu operations
- Multiple select mode
- Click-drag starting on the background
- Movement and deletion of multiple objects
- Simulation rewinding (this may require some sophistication to avoid combinatoric memory usage)
- Under consideration
- Implement undo/redo for moving
- Editing transitions with the context menu
- More automata
- Push-down automata
- Turing machines
- Possibly others like Mealy machines and Moore machines
- Filetype-compatility with JFLAP
- Can be implemented incrementally, per-model type
- Regular expressions and grammars
- Operations and conversions like minimization
- Graph visual organization like alignment
- Turing machine blocks
- Built-in tutorials
- Collaborative editing
- Generating URLs of models for easy sharing
- Potentially a custom file format for features not present in JFLAP