1-INTRODUCCIN: Lenguajes, autmatas y calculabilidad Lenguaje: Sistema de smbolos convencionales, hablados o escritos, con el que nos comunicamos.

Formal: Adjetivo que, cuando se aplica a un objeto, significa que ste se puede construir mediante reglas definidas a priori. Automaton (singular) y Automata (plural) provienen del griego: Se emplean con dos acepciones: 1-Objetos mecnicos autnomos, bien de propsito ldico o bien de propsito prctico. Automtico = Autnomo 2-Dispositivo que trata (procesa) informacin. Palabra asociada es robot, del checo robota, que aparece por primera vez en una obra de teatro llamada R.U.R., de Karel Capek, hacia 1920. Un robot es una mquina automtica que reemplaza el trabajo humano (Encyclopaedia Brytannica). Calculabilidad (del ingls computability): Fundamentos de la Informtica. Informtica (del francs Informatique): Ciencia del tratamiento de la informacin. Computadora: Mquina para tratar(procesar) informacin. Informacin: Palabras de un lenguaje formal. Podramos definir la Informtica como el conjunto de tareas que hacen las computadoras: Clculos numricos, Tratamiento de texto, Ordenacin de listas, Anlisis y sntesis de imgenes, Anlisis y sntesis de la voz, Recuperacin de informacin, Encaminamiento de informacin en una red, etc. Tambin podramos pensar en definir la Informtica observando cmo hacen su trabajo las computadoras. Su trabajo consiste en almacenar informacin y transformar informacin, haciendo intervenir memorias, procesadores, controladores, canales y otros dispositivos fsicos. Lo hacen mediante operaciones complicadas de esos dispositivos con una coordinacin programada. No podemos definir as un sistema informtico. No es posible definir la Informtica como el conjunto de tareas que puede hacer una computadora, o de dispositivos que la componen, etc. Para definir la Informtica hemos de hacer abstraccin de tecnologas (elctrica, electrnica, ptica, etc.) y de los detalles operativos, pero hemos de capturar en esa definicin las caractersticas comunes a todas las computadoras, independientemente de su tamao, capacidad, velocidad, estructura o arquitectura. Hemos de superar, adems, en esa definicin, las limitaciones de espacio (memoria) y tiempo de clculo inherentes a todo sistema fsico. En abstracto una mquina (un autmata) es un algoritmo. Una mquina resuelve problemas calculando funciones. Una mquina de Turing (1936) es un procedimiento efectivo para calcular funciones. Tesis de Turing: Una funcin es efectivamente calculable si existe una mquina de Turing que la calcula. La mquina de Turing es un modelo abstracto de clculo. Clculo (computation) es lo que realiza una mquina de Turing. Todos los enfoques de modelos abstractos de clculo, como las funciones recursivas de Church o los sistemas combinatorios de Post, calculan lo que calculan las mquinas de Turing. Se puede decir que capturan las caractersticas esenciales de los sistemas informticos.

Lenguajes y autmatas: Un autmata resuelve un problema mediante el clculo de una funcin de una forma autnoma: Recibe unos datos y, cuando termina su trabajo, da un resultado. El mismo problema puede recibir otra coleccin de datos distinta (instance-ejemplar) y da un resultado correcto en cada caso mediante el clculo de la misma funcin. Un ejemplar se puede ver como una palabra de un lenguaje. El conjunto de ejemplares de entrada para los que el problema tiene solucin es un lenguaje. El problema tiene solucin cuando existe un autmata que calcula el resultado correctamente. Hay lenguajes que no requieren autmatas tan complejos como las las mquinas de Turing para resolver los problemas que se plantean sobre ellos. Ms simples son los autmatas finitos y los autmatas con pila. Cada tipo de autmatas reconoce una clase de lenguajes. Datos Autmata Resultado

Los algoritmos de generacin de lenguajes se llaman gramticas. Estos mecanismos fueron propuestos por Chomsky para definir estructuras sintcticas en el estudio del lenguaje natural (1950). Las partes del lenguaje natural libres de contexto tienen una estructura definida por gramticas incontextuales y los lenguajes incontextuales son reconocidos por autmatas con pila. La Informtica aprovech rpidamente estos estudios sobre el lenguaje natural aplicndolos a la construccin de analizadores sintcticos, imprescindibles en compilacin. Hay una jerarqua de lenguajes formales, a la que corresponde una jerarqua de autmatas: Lenguajes regulares Lenguajes incontextuales Lenguajes contextuales Autmatas finitos Autmatas con pila Mquinas de Turing. Todo ello se corresponde con el nivel de abstraccin requerido para resolver los tipos de problemas asociados a un determinado lenguaje con las herramientas ms sencillas posible, en aras de la eficiencia. Problemas de decisin: Son los que tienen un resultado binario. Los autmatas reconocedores son un ejemplo. Si una palabra pertenece al lenguaje que el autmata reconoce, el resultado es la palabra es aceptada y, si no pertenece, la palabra no es aceptada. El reconocimiento de lenguajes no es un tema limitativo en cuanto a la potencialidad de clculo. Los problemas de decisin involucran la resolucin de todos los problemas que se pueden resolver. Por ejemplo, dada una funcin f(x) y un elemento y, pregunta: Es y = f(x)?; la respuesta involucra el clculo de f(x). O bien, dados dos enteros, a y b, pregunta: Es a divisible por b?; la respuesta involucra el algoritmo de la divisibilidad.