aplicaciones de autómatas finitos en la vida real