Rank of a finite automaton
scientific article; zbMATH DE number 948763