On the finite-valuedness problem for sequential machines
ambiguous computations of non-deterministic acceptors
semigroup generated by matrices of nonnegative integers
scientific article; zbMATH DE number 3793413