Gebhardt, A., & Waldmann, J. (2009). Weighted automata define a hierarchy of terminating string rewriting systems. Acta Cybernetica, 19(2), 295-312. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3770