Description
Currently, algorithms are organized as Tree algorithms and Table algorithms. However, a more practical approach would be to first distinguish between Probabilistic and Non-Probabilistic automata.
Proposed Changes
- Reorganize algorithms based on Probabilistic and Non-Probabilistic automata.