Weighted automata extend classical automata by assigning quantitative values to transitions and accepting runs, thus enabling the analysis of quantitative properties such as costs, probabilities and ...

An open-ended computer science discipline that concerns an abstract device called an "automaton," which performs a specific computational or recognition function. Networks of automata are designed to ...