weighted automata, semiring, probabilistic automata, formal languages
Press ? anytime to show this help