On the equivalence of stationary and finite-nonstationary nondeterministic automata
scientific article; zbMATH DE number 5345552