Resumen.La coinducción, un concepto dual a la inducción, ha sido descubierto y estudiado recientemente.Una forma sencilla de entender su naturalidad es observando que este se refiere a los puntos fijos más grandes, mientras que la inducción se refiere a los más pequeños.Inicialmente el soporte técnico de la coinducción estaba en la teoría de retículos a través de los puntos fijos más grandes, ahora dicho soporte se centra en el lenguaje de categorías a través de las F -coálgebras finales.Las F -coálgebras son un concepto dual a la generalización de F -álgebras para un funtor F. En el presente trabajo nos centraremos en un tipo muy particular de F -coálgebras: los autómatas de cadena