Try awali online
All notebooks :
The notebooks folder contains seven notebooks :
- Edition, visualisation and traversal of boolean automata (Quick access :
)
- Edition, visualisation and traversal of boolean transducers (Quick access :
- Edition, visualisation and traversal of weighted automata (Quick access :
- Classical Transformations about graphs (Quick access :
- Classical Transformations about boolean automata (Quick access :
- Introduction to (weighted) rational expressions (Quick access :
- Getting Started With Cora, the command line interfce to awali (Quick access :