An ergodic theorem for read-once non-uniform deterministic finite automata
scientific article; zbMATH DE number 1521611