Lower bound technique for length-reducing automata

Tomasz Jurdzinski, Krzysztof Lorys. Lower bound technique for length-reducing automata. Inf. Comput., 205(9):1387-1412, 2007. [doi]

Abstract

Abstract is missing.