Automatons and Functional Models