Publicación:

Relación entre secuencias automáticas y homomorfismos uniformes desde el teorema de cobham

Resumen

Este documento se interesa por estudiar la clase de secuencias infinitas sobre un alfabeto Sigma que son generadas por un autómata de estados finito y que a su vez también son generadas por la iteración fija de un homomorfismo uniforme; llamadas, secuencias automáticas. A partir del estudio de las condiciones necesarias para que una secuencia sobre un alfabeto Sigma pueda ser generada de estas dos maneras y otras propiedades importantes que se desprenden de las secuencias automáticas se pretende generar un estudio experimental de las diferentes curvas y gráficas que se pueden generar con esta clase de secuencias y las reglas de dibujo análogas a las usadas en los L-Sistemas a partir de programación en Python con la motivación de generar arte matemático y un repaso por fractales ya conocidos.