La teoría de androides es el estudio de dispositivos de cálculo abstractos, esto es, de las “máquinas”. Antes que existiesen las computadoras, en la década de los años treinta, A. Turing estudió una máquina abstracta que tenía todas y cada una de las capacidades de las computadoras de actualmente, por lo menos en lo relativo a lo que podían calcular. El propósito de Turing era describir de forma precisa los límites entre lo que una máquina de cálculo podía y no podía hacer; estas conclusiones no solo se aplican a las máquinas abstractas de Turing, sino más bien a todas y cada una de las máquinas reales actuales. En las décadas de los años cuarenta y cincuenta, una serie de estudiosos estudiaron las máquinas más simples, las que aún el día de hoy llamamos “autómatas finitos”. Originalmente, estos robots se plantearon para modelar el funcionamiento del cerebro y, más tarde, resultaron exageradamente útiles para otros muchos propósitos, como vamos a ver en la Sección once. Asimismo a fines de la década de los cincuenta, el lingüista N. Chomsky empezó el estudio de las “gramáticas” formales. Si bien no son máquinas rigurosamente, estas gramáticas están de manera estrecha relacionadas con los automátas abstractos y sirven en nuestros días como base de ciertos esenciales componentes de software, entre aquéllos que se incluyen componentes de los compiladores. En mil novecientos sesenta y nueve, S. Cook amplió el estudio efectuado por Turing sobre lo que se podía y no se podía calcular. Cook fue capaz de separar aquellos inconvenientes que se podían solucionar de forma eficaz a través de computadora de aquellos inconvenientes que, de entrada, pueden resolverse, mas que en la práctica consumen tanto que las computadoras resultan inútiles para todo salvo para casos muy simples del inconveniente. Este último género de inconvenientes se llaman “insolubles” o bien “NPdifíciles”. Es exageradamente poco probable que aun la mejora de carácter exponencial en la velocidad de cálculo que el hardware de computadora ha experimentado (“Ley de Moore”) tenga un impacto significativo sobre nuestra capacidad para solucionar casos complejos de inconvenientes insolubles. : 1. Introducción a los autómatas2. Robots finitos3. Lenguajes y expresiones regulares4. Propiedades de los lenguajes regulares5. Lenguajes y gramáticas independientes del contexto6. Androides a pila7. Propiedades de los lenguajes independientes del contexto8. Introducción a las máquinas de Turing9. Indecidibilidad10. Inconvenientes intratables11. Otras clases de problemasÍndice