Does a rock implement every finite-state automaton?
scientific article; zbMATH DE number 1322837