Departamento de Computación

El estudio de los sistema de planeación en los últimos años ha sufrido muchos cambios. Existen diferentes maneras de resolver el problema de planeación; en algunas se usan métodos heurísticos los cuales proporcionan una manera veloz de resolver el problema pero tienen el inconveniente de no siempre encontrar una solución; en otras se utilizan métodos basados en proposiciones como el Graphplan y compiladores que traducen el problema de planeación a problemas de proposición. Esta tesis pretende solucionar el problema de planeación utilizando una técnica de autómatas finitos. La técnica de autómatas finitos pretende ser una técnica novedosa ya que a grandes rasgos el problema de planeación se traduce en un autómata finito y la teoría de autómatas finitos se encuentra muy estudiada y fácil de tratar. Para esto se da una introducción de la teoría de los autómatas finitos con el propósito de tener un panorama general de la teoría de los autómatas finitos. Adicionalmente también se estudiarán gramáticas regulares, el teorema de Kleene y la regla de Arden.