An inner product space on irreducible and synchronizable probabilistic finite state automata
scientific article; zbMATH DE number 6031839