作者: Sylvain Lombardy , Jacques Sakarovitch
DOI: 10.1007/978-3-642-31606-7_31
关键词: Automaton 、 Computer science 、 Discrete mathematics
摘要: The removal of e-transitions in weighted automata leads to infinite summation when cycles such transitions are allowed. This paper presents both an algorithm for that purpose, and a framework which the is correct.