Automata and Transducers in the Computer Algebra System Sage.
Clemens HeubergerDaniel KrennSara KropfPublished in: CoRR (2014)
Keyphrases
- computer algebra
- finite automata
- finite state automata
- probabilistic automata
- theorem prover
- finite state machines
- tree automata
- regular expressions
- cellular automata
- grammatical inference
- computer algebra systems
- recently developed
- regular languages
- timed automata
- markov chain
- database
- model checking
- hidden markov models
- expert systems
- artificial intelligence
- real time
- finite automaton
- lattice gas