Arto Salomaa Decidability in finite automata. 175-183 1990 41 Bulletin of the EATCS db/journals/eatcs/eatcs41.html#Salomaa90