Observe that a weighted timed automaton A over K, Σ and F can also be regarded as a weighted timed automaton over the subsemiring Kwgt(A), Σ and F. Given a ...
確定! 回上一頁