i love robots

tango

no sabia ni que este blog existia

lo tome prestado para meter las fotos de ecodiseño

EL JUEGO DEL DNA

MORFOLOGIA BACTERIANA

ANATOMÍA BACTERIANA.

Estructuras externas.
Flagelos
Fimbrias o pillis
Cápsula

Envuelta celular.
Membrana citoplasmática:
Pared celular
Membrana externa
Estructuras internas.
Citoplasma
La espora


MORFOLOGÍA DE LAS BACTERIAS.

Las diferencias en el tamaño, forma y ciertos detalles estructurales son característicos de los principales grupos de bacterias, y proporcionan las bases fundamentales para su estudio sistemático. De la misma forma, las colonias bacterianas, compuestas por masas de células individuales, tienen características de tamaño, consistencia, textura y color que poseen un valor sistemático, pero no tienen la importancia fundamental de la morfología celular.


Tamaño de las bacterias.
El tamaño de las células bacterianas se mide habitualmente en micrómetros, oscilando entre los 1 x 10 μm de los bacilos grandes como Bacillus anthracis, y los 0,2 x 0,7 μm de Francisella tularensis. Existen ligeras variaciones de tamaño de las células bacterianas dentro de algunas especies, siendo mayores las fluctuaciones entre las formas bacilares que entre las formas esféricas. Los límites de tamaño entre las células bacterianas y los virus no tienen una frontera bien definida, pues curiosamente existen virus más grandes que ciertas bacterias.

Formas de las bacterias.
Desde el punto de vista microscópico, la diferencia más importante entre las bacterias es su forma, existiendo tres tipos morfológicos claramente distinguibles:
Cocos


















Las bacterias esféricas son las más homogéneas con respecto al tamaño, presentando un diámetro medio de 0,6 a 1,0 μm. La forma no siempre es exactamente esférica, observándose como más comunes las siguientes variaciones:
Formas lanceoladas.
Formas en grano de café.
Formas cocobacilares.

Las diferencias entre los subtipos de cocos se basan en los agrupamientos celulares. Estos aparecen como consecuencia de dos factores: el plano o planos de división celular y la tendencia de las células hijas a permanecer unidas entre sí, una vez que se completa la división.
Los cocos que se separan completamente después de la división aparecen individualmente, y a esta forma se le llama coco. Cuando hay una ligera tendencia a que las células hijas permanezcan unidas y la división celular ocurre en un solo plano, los cocos se agrupan predominantemente en pares, llamados diplococos. Si la unión es más marcada, se ven largas cadenas de cuatro cocos o más; estos agrupamientos se conocen como estreptococos.
Cuando los cocos se dividen en varios planos, y hay una elevada tendencia a que permanezcan unidos, aparecen racimos irregulares de cocos, semejantes a racimos de uvas; estos agrupamientos se denominan estafilococos. Sin embargo, la separación de subtipos morfológicos no es absolutamente nítida, y en una misma colonia pueden observarse cadenas o racimos junto con formas aisladas o en parejas. A pesar de todo esto, los grupos morfológicos tienen mucho valor práctico en la identificación y clasificación de cocos.

Bacilos















Las formas alargadas o bacilares agrupan una gran cantidad de subtipos morfológicos. Las diferencias en anchura, longitud y forma de los extremos de la célula proporcionan una considerable heterogeneidad a la forma bacilar. En función de la tendencia de las células hijas a permanecer unidas, los bacilos presentan también agrupaciones celulares características, citando como ejemplo las formas en empalizada ( ///// ) o en V ( <<< ) o en letras chinas. Aunque son hasta cierto punto característicos, los agrupamientos de células bacilares no tienen la misma importancia morfológica que el agrupamiento de cocos.

Espirilos
















El tercer tipo morfológico es la forma espirilar, que puede considerarse como un bacilo que se ha torcido adoptando la forma de hélice. Aunque la curvatura se observa ocasionalmente en muchas formas bacilares, en el género Vibrio es suficientemente constante como para tener importancia diferencial. Los vibrios pueden presentar una forma espirilar si las células permanecen unidas por sus extremos.
Las verdaderas bacterias espirilares pueden ser de dos tipos: con espira rígida o con espira flexible. Al conjunto de las formas espirilares flexibles se le conoce como espiroquetas. La clasificación y diferenciación de las espiroquetas patógenas se basa en criterios morfológicos tales como la longitud de vuelta, el ángulo en los extremos de la célula, la presencia de una envuelta externa y la composición del filamento axial.

Sensores

Puede decirse que es un dispositivo que aprovecha una de sus propiedades con el fin de adaptar la señal que mide para que la pueda interpretar otro dispositivo.
Un sensor es un dispositivo que detecta manifestaciones de cualidades o fenómenos físicos o químicos.

Un sensor tambien puede decirse que es un dispositivo que convierte una forma de energía en otra.

Un sensor es un tipo de transductor que transforma la magnitud que se quiere medir o controlar, en otra, que facilita su medida. Pueden ser de indicación directa (e.g. un termómetro de mercurio) o pueden estar conectados a un indicador (posiblemente a través de un convertidor analógico a digital, un computador y un display ) de modo que los valores detectados puedan ser leídos por un humano.

Areas de aplicación de los sensores: Industria automotriz, Industria aeroespacial, Medicina , Industria de manufactura, Robótica , etc.

Sensibilidad de un sensor: Es una cualidad del sensor que nos indica que tanto cambia su salida cuando la variable sensada cambia. Muchos de los sensores son eléctricos o electrónicos, aunque existen otros tipos.

TIPOS DE SENSOR

Sensores reflectivos y por intercepción (de ranura)

Los sensores de objetos por reflexión están basados en el empleo de una fuente de señal luminosa (lámparas, diodos LED, diodos láser, etc.) y una célula receptora del reflejo de esta señal, que puede ser un fotodiodo, un fototransistor, LDR, incluso chips especializados, como los receptores de control remoto. Con elementos ópticos similares, es decir emisor-receptor, existen los sensores "de ranura" (en algunos lugares lo he visto referenciado como "de barrera"), donde se establece un haz directo entre el emisor y el receptor, con un espacio entre ellos que puede ser ocupado por un objeto.

Fotoceldas o celdas fotovoltaicas

La conversión directa de luz en electricidad a nivel atómico se llama generación fotovoltaica. Algunos materiales presentan una propiedad conocida como efecto fotoeléctrico, que hace que absorban fotones de luz y emitan electrones. Cuando se captura a estos electrones libres emitidos, el resultado es una corriente eléctrica que puede ser utilizada como energía para alimentar circuitos. Esta misma energía se puede utilizar, obviamente, para producir la detección y medición de la luz.}

Sensores de presión

En la industria hay un amplísimo rango de sensores de presión, la mayoría orientados a medir la presión de un fluido sobre una membrana. En robótica puede ser necesario realizar mediciones sobre fluidos hidráulicos (por dar un ejemplo), aunque es más probable que los medidores de presión disponibles resulten útiles como sensores de fuerza (el esfuerzo que realiza una parte mecánica, como por ejemplo un brazo robótico), con la debida adaptación. Se puede mencionar un sensor integrado de silicio como el MPX2100 de Motorola, de pequeño tamaño y precio accesible.

Micrófonos y sensores de sonido
El uso de micrófonos en un robot se puede hallar en dos aplicaciones: primero, dentro de un sistema de medición de distancia, en el que el micrófono recibe sonidos emitidos desde el mismo robot luego de que éstos rebotan en los obstáculos que tiene enfrente, es decir, un sistema de sonar; y segundo, un micrófono para captar el sonido ambiente y utilizarlo en algún sentido, como recibir órdenes a través de palabras o tonos, y, un poco más avanzado, determinar la dirección de estos sonidos. Como es obvio, ahora que se habla tanto de robots para espionaje, también se incluyen micrófonos para tomar el sonido ambiente y transmitirlo a un sitio remoto.

Autómatas y sociedad ... La automatización supondría "la segunda revolución industrial".

"Primera Ley: un robot no puede dañar a un ser humano o, con su inactividad, permitir que un ser humano sufra daño.
Segunda Ley: un robot tiene que obedecer las órdenes dadas por los seres humanos, salvo cuando tales órdenes vulneren la Primera Ley.
Tercera Ley: un robot debe proteger su propia existencia, siempre que esta protección no vulnere la Primera o la Segunda Ley.
Ley Cero: Un robot no puede perjudicar a la Humanidad ni, por omisión, permitir que la Humanidad sufra daño."
Isaac Asimov, “Las tres leyes de la robótica”





Antiguamente, se creaban artefactos capaces de realizar tareas diarias y comunes para el hombres, o bien, para facilitarles las labores cotidianas; se daban cuenta de que había tareas repetitivas que se podían igualar con un complejo sistema. Pero no todos estos artefactos tenían una utilidad, algunas máquinas solamente servían para entretener a sus dueños, y no hacían nada más que realizar movimientos repetitivos ó emitir sonidos. Los árabes fueron unos maestros en la construcción de autómatas y en la precisión de sus cálculos, se puede mencionar que inventaron el reloj mecánico, así como sus grandes aportaciones a la astrología.

Durante los siglos XVII y XVIII se crearon ingenios mecánicos que tenían alguna de las características de los robots actuales. Estos dispositivos fueron creados en su mayoría por artesanos del gremio de la relojería. Su misión principal era la de entretener a la gente de la corte y servir de atracción a las ferias. Estos autómatas representaban figuras humanas, animales o pueblos enteros. Algo más tarde que en la industria textil, se incorporan los automatismos en las industrias mineras y metalúrgicas. El primer automatismo que supuso un gran impacto social, lo realiza Potter a principios del siglo XVIII, automatizando el funcionamiento de una máquina de vapor del tipo Newcomen.

Los sistemas de automatización industrial han recibido un gran impulso en el siglo XX sobre todo por parte de la industria del automóvil, y desde entonces parece que cualquier máquinas que se produzcan no requieren más justificación que el ahorro de dinero o el mayor control y vigilancia de la población, sin importar nada su verdadera utilidad para la gente que las usa. Y no es la queja de la destrucción de puestos de trabajo lo importante aqui, sino la inutilidad para la gente que traen consigo. Por ejemplo: las máquinas expendedoras de toda clase de artículos han reemplazado al tendero, que nos proporcionaba información y atendía las posibles incidencias sobre la marcha, en una situación de estas nos queda además esperar a que la máquina no se "trague la moneda" y nosotros quedemos sin dinero y con hambre.

Para continuar con la investigación sobre la verdadera utilidad de los autómatas contemporáneos, basta con echar un vistazo a las máquinas que tenemos en nuestras casas, (que antes eran de cierta proporcion al lado de su manual de instrucciones, ahora, cuando compramos alguna máquina como un celular o un reproductor mp3, recibimos una caja inmensa, en la que menos del 5% es el producto y el resto, empaque y manual de uso) y nos daremos cuenta que hemos sido una vez mas victimas de la socuedad consumista. Las máquinas que tenemos son para satisfacer nuestras necesidades, eso no se puede cambiar, pero ¿ es una necesidad básica o ha sido creada por la publicidad ? Además de crear la necesidad, se crea el flujo de consumo y ciclo de vida del producto. Ahora es necesario cambiar de máquina cada lapso de tiempo (mucho menor que antes) porque la máquina se vuelve obsoleta o simplemente porque la sociedad alrededor subliminalmente asi lo pide.

He comenzado este escrito con un fragmento de la película de Fritz Lang "Metrópolis" porque éste es un ejemplo literal de lo que han hecho las máquinas con nosotros. Cegados por la belleza de la automatización y las nuevas tecnologías, no nos damos cuenta de la realidad. Para mí, los autómatas pretenden ser vivos por (valga la redundancia) tener una vida artificial, al reproducir movimientos y en si, acciones de los seres vivos. Pero creo que la vida artificial no existe, y por esto, los autómatas son solo parte del camino inconcluso del ser vivo en su afan de ser Dios. Que lo logre, a pesar de los avances tecnológicos, lo dudo mucho: solo logrará seguir colmando al mundo de estos seres vivos - no vivos que tratan ser pero no son.



Referencias:

http://www.mundofree.com/seronoser/golem/automatas.htm
www.henciclopedia.org.uy/autores/Pellegrino/Automatas.htm
http://automata.cps.unizar.es/Historia/Webs/la_revolucion_industrial.htm

Lenguajes de bajo nivel

Un lenguaje de bajo nivel es el que proporciona poca o ninguna abstracción del microprocesador de un ordenador. Consecuentemente es fácilmente trasladado a lenguaje de máquina.

La palabra "bajo" no implica que el lenguaje sea inferior a un lenguaje de alto nivel; se refiere a la reducida abstacción entre el lenguaje y el hardware.

Los lenguajes de bajo nivel son mas fáciles de utilizar que los lenguajes máquina, pero, al igual que ellos, dependen de la máquina en particular. El lenguaje de bajo nivel por excelencia es el ensamblador. Las instrucciones en lenguaje ensamblador son instrucciones conocidas como nemotécnicos.

Un programa escrito en lenguaje ensamblador no puede ser ejecutado directamente por la computadora en esto se diferencia esencialmente del lenguaje máquina, sino que requiere una fase de traducción al lenguaje máquina.
El programa original escrito en lenguaje ensamblador se denomina programa fuente y el programa traducido en lenguaje máquina se conoce como programa objeto, ya directamente entendible por la computadora.
El traductor de programas fuente a objeto es un programa llamado ensamblador, existente en casi todos los computadores.

Programa fuente en ensamblador
(assembly)
Programa Ensamblador
(assembler)
Programa objeto en código
máquina.

No se debe confundir el programa ensamblador, encargado de efectuar la traducción del programa fuente escrito a lenguaje máquina, con el lenguaje ensamblador, lenguaje de programación con una estructura y gramática definidas.


Ensamblador

El término ensamblador (del inglés assembler) se refiere a un tipo de programa informático que se encarga de traducir un fichero fuente scrito en un lenguaje ensamblador, a un fichero objeto que contiene un código máquina ejecutable directamente por la máquina para la que se ha generado. El propósito para el que se crearon este tipo de aplicaciones es la de facilitar la escritura de programas, ya que escribir directamente en código binario, que es el único código entendible por la computadora, es en la práctica imposible. La evolución de los lenguajes de programación a partir del lenguaje ensamblador originó también la evolución de este programa ensamblador hacia lo que se conoce como programa compilador.


Compilador

Un compilador es un programa que traduce los programas fuente escritos en lenguajes de alto nivel: Pascal,FORTRAN, etc; a lenguaje máquina.
Los programas escritos en lenguajes de alto nivel se llaman programa fuente y el programa traducido se le llama programa objeto ó código objeto. El compilador traduce sentencia a sentencia el programa fuente.

Lenguajes compiladores típicos son: Pascal, FORTRAN, COBOL..., hoy día es posible encontrar tambiénversiones de compiladores BASIC y de C.

La compilación es el proceso de traducción de programas fuente a programas objeto.

Programa Fuente.
Compilador.
Programa Objeto.

El programa objeto obtenido de la compilación no ha sido traducido normalmente a código máquina sino a ensamblador. Para conseguir el programa máquina real se debe utilizar un programa llamado montador o enlazador (linker). El proceso de montaje conduce a un programa en lenguaje máquina directamente ejecutable.

Programa Fuente.
Compilador (traductor).
Programa Objeto.
Montador.
Programa ejecutable en lenguaje máquina.

Arquitectura de Hardware

Es la forma de seleccionar e interconectar componentes de hardware para crear computadores según los requerimientos de funcionalidad, rendimiento y costo.

En las cadenas de montaje, el producto pasa a través de varias etapas de producción antes de tener el producto terminado. Cada etapa o segmento de la cadena está especializada en un área específica de la línea de producción y lleva a cabo siempre la misma actividad. Esta tecnología es aplicada en el diseño de procesadores eficientes. A estos procesadores se les conoce como pipeline processors.

Un pipeline processor está compuesto por una lista de segmentos lineales y secuenciales en donde cada segmento lleva a cabo una tarea o un grupo de tareas computacionales.

Los datos que provienen del exterior se introducen en el sistema para ser procesados. La computadora realiza operaciones con los datos que tiene almacenados en memoria, produce nuevos datos o información para uso externo.

Arquitectura de Hardvard

Es el tipo de arquitectura de computadores que utiliza dispositivos de almacenamiento físicamente separados para las instrucciones y para los datos.

Los computadores constan de dos partes principales, la CPU que procesa los datos, y la memoria que guarda los datos. Cuando se habla de memoria manejamos dos parámetros, los datos en sí, y el lugar donde se encuentran almacenados (o dirección). Los dos son importantes para la CPU, pues muchas instrucciones frecuentes se traducen a algo así como "coge los datos de ésta dirección y añádelos a los datos de ésta otra dirección", sin saber en realidad qué es lo que contienen los datos.

Se puede fabricar memoria mucho más rápida, pero a costa de un precio muy alto. La solución, por tanto, es proporcionar una pequeña cantidad de memoria muy rápida conocida con el nombre de caché. Mientras los datos que necesita el procesador estén en la caché, el rendimiento será mucho mayor que si la caché tiene que obtener primero los datos de la memoria principal. La optimización de la caché es un tema muy importante de cara al diseño de computadoras.

La arquitectura Harvard ofrece una solución particular a este problema. Las instrucciones y los datos se almacenan en cachés separadas para mejorar el rendimiento. Por otro lado, tiene el inconveniente de tener que dividir la cantidad de caché entre los dos, por lo que funciona mejor sólo cuando la frecuencia de lectura de instrucciones y de datos es aproximadamente la misma. Esta arquitectura suele utilizarse en DSPs, o procesador de señal digital, usados habitualmente en productos para procesamiento de audio y video.

Arquitectura de Eckert-Mauchly o de Von Neumann

Es la arquitectura de computador que utiliza el mismo dispositivo de almacenamiento tanto para las instrucciones como para los datos (a diferencia de la arquitectura Harvard).

Los computadorescon arquitectura Eckert-Mauchly constan de cinco partes: La unidad aritmético-lógica o ALU, la unidad de control, la memoria, un dispositivo de entrada/salida y el bus de datos que proporciona un medio de transporte de los datos entre las distintas partes.

Modelo básico de la arquitectura Eckert-Mauchly, en la que se basan todos los ordenadores modernos

Un computador con arquitectura Eckert-Mauchly realiza o emula los siguientes pasos secuencialmente:

1. Enciende el ordenador y obtiene la siguiente instrucción desde la memoria en la dirección indicada por el contador de programa y la guarda en el registro de instrucción.
2. Aumenta el contador de programa en la longitud de la instrucción para apuntar a la siguiente.
3. Descodifica la instrucción mediante la unidad de control. Ésta se encarga de coordinar el resto de componentes del ordenador para realizar una función determinada.
4. Se ejecuta la instrucción. Ésta puede cambiar el valor del contador del programa, permitiendo así operaciones repetitivas. El contador puede cambiar también cuando se cumpla una cierta condición aritmética, haciendo que el ordenador pueda 'tomar decisiones', que pueden alcanzar cualquier grado de complejidad, mediante la aritmética y lógica anteriores.
5. Vuelve al paso 2.

Hoy en día, la mayoría de ordenadores están basados en esta arquitectura, aunque pueden incluir otros dispositivos adicionales.

Microcontroladores

Un microcontrolador es un circuito integrado o chip que incluye en su interior las tres unidades funcionales de una computadora: CPU, Memoria y Unidades de E/S, es decir, se trata de un computador completo en un solo circuito integrado.

Son diseñados para disminuir el costo económico y el consumo de energía de un sistema en particular. Por eso el tamaño de la CPU, la cantidad de memoria y los periféricos incluidos dependerán de la aplicación.

Un microcontrolador difiere de una CPU normal, debido a que es más fácil convertirla en una computadora en funcionamiento, con un mínimo de chips externos de apoyo. La idea es que el chip se coloque en el dispositivo, enganchado a la fuente de energía y de información que necesite, y eso es todo. Un microprocesador tradicional no le permitirá hacer esto, ya que espera que todas estas tareas sean manejadas por otros chips. Hay que agregarle los modulos de entrada/salida (puertos) y la memoria para almacenamiento de información.

Por ejemplo, un microcontrolador típico tendrá un generador de reloj integrado y una pequeña cantidad de memoria RAM y ROM/EPROM/EEPROM/FLASH, significando que para hacerlo funcionar, todo lo que se necesita son unos pocos programas de control y un cristal de sincronización. Los microcontroladores disponen generalmente también de una gran variedad de dispositivos de entrada/salida, como convertidores de analógico a digital, temporizadores, UARTs y buses de interfaz serie especializados, como I2C y CAN. Frecuentemente, estos dispositivos integrados pueden ser controlados por instrucciones de procesadores especializados. Los modernos microcontroladores frecuentemente incluyen un lenguaje de programación integrado, como el BASIC que se utiliza bastante con este propósito.

Los microcontroladores negocian la velocidad y la flexibilidad para facilitar su uso. Debido a que se utiliza bastante sitio en el chip para incluir funcionalidad, como los dispositivos de entrada/salida o la memoria que incluye el microcontrolador, se ha de prescindir de cualquier otra circuitería.

Automatas

Los autómatas son mecanismos formales que hacen derivaciones en gramáticas formales. La manera en que las realizan es mediante la noción de reconocimiento. Una palabra será generada en una gramática si y sólo si la palabra hace transitar al autómata correspondiente a sus condiciones terminales. Por esto es que los autómatas son analizadores léxicos (llamados en inglés ``parsers'') de las gramáticas a que corresponden.

Automatas regulares:

Estos son los autómatas finitos más sencillos. Los autómatas finitos pueden ser deterministas, que tienen una transición por cada símbolo del alfabeto, y los no deterministas, que pueden, o no, tener una o más transiciones por cada símbolo del alfabeto, aún cuando existen estas diferencias, los dos autómatas, tanto deterministas como no deterministas pueden aceptar los mismos lenguajes.

En un autómata finito determinista, el autómata acepta una palabra si existe al menos un camino desde el estado q₀ a un estado final F etiquetado con la palabra de entrada. Si una transición no está definida, de manera que el autómata no puede saber como continuar leyendo la entrada, la palabra es rechazada.

Además de ser capaz de alcanzar más estados leyendo un símbolo, permite alcanzarlos sin leer ningún símbolo. Si un estado tiene transiciones etiquetadas con ε, entonces el Automata Finito No Determinista puede encontrarse en cualquier de los estados alcanzables por las transiciones ε, directamente o a través de otros estados con transiciones ε. El conjunto de estados que pueden ser alcanzados mediante este método desde un estado q, se denomina la clausura ε de q.



Autómatas de pila

Son autómatas regulares finitos con una memoria elemental, tipo pila, el cual es un almacenamiento lineal que funciona bajo el principio PEUS: Primero en Entrar, Último en Salir.

"Sea Q un conjunto de estados, sea T el alfabeto de entrada y sea V un alfabeto de pila. La función de transición es de la forma , donde la relación se interpreta como sigue: ``Si se está en el estado q, arriba el símbolo a y en el tope de la pila está el símbolo b entonces se pasa al estado p y se empila la palabra ''. Un autómata de pila reconoce a una palabra si, tras haberla leído, termina con su pila vacía. " (1)



Autómatas lineales.

Son autómatas de pila deterministas que a lo largo de su computación sólo hacen un "cambio de turno''. A grandes rasgos, esto significa que toda computación consiste de un procedimiento de empilar consecutivamente para después pasar a desempilar.

Un autómata lineal acotado (LBA de sus siglas en inglés Linear-Bounded Autómata) es una máquina de Turing no determinística (explicada mas adelante) que satisface las siguientes dos condiciones:

1. El alfabeto de entrada de cinta incluye dos símbolos: <>, los señaladores de extremo izquierdo y derecho, respectivamente.
2. El LBA no tiene movimientos a la izquierda de <>, ni puede sustituir los símbolos <>.

Autómatas de pila no deterministas

Son iguales que los autómatas de pila salvo en que su transición no es propiamente una función. Aquí se tiene que la transición es un subconjunto .


Maquinas de Turing

Son autómatas finitas con dos pilas que tienen un tope común. O equivalentemente, son autómatas que poseen una memoria dada por una cinta la cual es un almacenamiento lineal, infinito a ambos lados, con acceso a cualquier localidad en ella. El tope común es la casilla leída, una pila es la parte de la cinta a la derecha de la casilla leída y otra pila es su parte izquierda.


Las transiciones de la máquina quedan determinadas por una función , donde . Esta vez, la relación se interpreta como sigue: ``Si se está en el estado q y se lee el símbolo a entonces se escribe b, se pasa a p y se va a examinar la casilla al lado de la leída''. De hecho, la relación puede escribirse como , y por esto, decimos que una máquina de Turing queda especificada por su lista de quíntuplas.


Jerarquía de Chomsky en autómatas.

La complejidad de un autómata está determinada por sus capacidades de transición, de su dispositivo de memoria y las capacidades de inspección en su memoria. De manera natural la jerarquí a gramatical se traduce en una jerarquía equivalente en los autómatas.

(2)

Tipo Nombres Tipo de autómata reconocedor 0 Irrestricta Máquinas de Turing 1 Irrestricta con memoria limitada Máquinas de Turing con cinta acotada 2 Sensibles al contexto con borro Máquinas de Turing con dominio total 3 Sensibles al contexto no reductivas Máquinas de Turing con ``espacio lineal'' 4 Libres de contexto Autómatas de pila no-deterministas 5 Libres de contexto deterministas Autómatas de pila deterministas 6 Lineales Autómatas lineales 7 Regulares Autómatas regulares

Referencias:

(1) Tomado de http://delta.cs.cinvestav.mx/~gmorales/ta/node14.html

(2) Tomado de http://delta.cs.cinvestav.mx/~gmorales/ta/node18.html