Lingüista, activista y filósofo.

NO

AM

AB

RA

HA

M C

HO

MSKY

1

ÍINDICE1.Introducción (Historia)2.Quién fue Chomsky?3.Conocido por...4.Diagrama5.Aportaciones

(Jerarquía)6.Relación con Alan

Turing 7.Tabla

2

HISTORIA

Fue introducido en la lingüística por su padre, el doctor William (Zev) Chomsky especializado en lingüística histórica del hebreo, su madre Elsie Simonofsky, maestra de hebreo. Ambos eran inmigrantes judío-ucranianos. Chomsky estudió en la Universidad de Pensilvania, donde se doctoró en 1955 con una tesis sobre el análisis transformacional, elaborada a partir de las teorías de Z.ellig Harris, de quien fue discípulo. Entró entonces a formar parte como docente del Massachusetts Institute of Technology, del que es profesor desde 1961.

3

¿QUIÉN FUE CHOMSKY?

Una de las figuras más destacadas de la lingüística del siglo XX, con grandes aportaciones en el campo de la informática. También intervino en el ambito político, provocando frecuentes polémicas con sus denuncias del imperialismo estadounidense desde el comienzo de la guerra de Vietnam y sus reiteradas críticas al sistema político y económico de Estados Unidos.

4

Reacción y ligamiento. Teoría de la ¨X¨. Pobreza del estímulo. Principios y parámetros. Dispositivo de adquisición del

lenguaje. Modelo de Propaganda de los

medios de comunicación. Gramática generativa

transformacional, gramática universal y gramática libre de contexto.

Programa minimalista. Forma normal de Chomsky. Jerarquía de Chomsky =

Teorema de Chomsky-Schützenberger.

5

CO

NO

CID

O

PO

R

6

GRAMATICA

LENGUAJES

MÁQUINA

Equivale

Describe,

genera

Reconoce, genera

TEORIA DE AUTOMATAS - LENGUAJES FORMALES

Jerarquía de Chomsky

7

AP

OR

TA

CIO

NES

8

LENGUAJE GRAMATICA AUTOMATANORMAS DE

PRODUCCION DE GRAMATICAS

Recursivamente enumerable (LRE).

Sin restricciones o de tipo 0

Maquina de Turing Sin restricciones

DEPENDIENTE DEL CONTEXTO (LSC).

Sensibles al contexto o de tipo

1

Autómata linealmente

acotadoαAβ → αγβ

independiente del contexto (LIC).

Libre de contexto o de tipo 2

Autómata a pila A → γ

 regular (RL). Regular o de tipo

3Autómata finito

A → aBA → a

LENGUAJES RECURSIVAMENTE ENUMERABLES DE (TIPO 0).Es un lenguaje formal para el cual existe una máquina de Turing que acepta y se detiene con cualquier cadena del lenguaje. Pero que puede parar y rechazar, o bien iterar indefinidamente, con una cadena que no pertenece al lenguaje.

Ejemplo: Incluyen a los Libres de Contexto(y por lo tanto a los Lenguajes Regulares).

9

LENGUAJES DEPENDIENTES DE CONTEXTO (SENSIBLES

AL CONTEXTO, TIPO 1).Los lenguajes descritos por estas gramáticas son exactamente todos aquellos lenguajes reconocidos por una máquina de Turing determinista cuya cinta de memoria está acotada por un cierto número entero de veces sobre la longitud de entrada, también conocidas como autómata linealmente acotados.

Estas gramáticas tiene reglas de la forma αAβ → αγβ con A un no terminal y α,β y γ cadenas de terminales y no terminales. Las cadenas α y β pueden ser vacías, pero γ no puede selo. La regla S →Є está permitida si S no aparece en la parte derecha de ninguna regla.

10

LENGUAJES INDEPENDIENTES DEL CONTEXTO (LIBRES DE CONTEXTO, TIPO 2).

(Gramáticas), las reglas son de la forma A → γ con A un no terminal y γ una cadena de terminales y no terminales. Estos lenguajes son aquellos que pueden ser reconocidos por un autómata con pila.Estas gramáticas no tienen restricciones con respecto al lado derecho de su reescritura, aunque se quiere que el lado izquierdo sea un no terminal.S → zMNzM → aMaN → z

Ejemplo: La mayoría de los lenguajes de programación son lenguajes libres de contexto.

11

LENGUAJES REGULARES, TIPO 3

Es aquella cuyas reglas de reescritura tienen las siguientes restricciones. El lado IZD, debe consistir en un

solo no terminal. El lado DER, de un terminal o un

terminal seguido por un no terminal, o cadena vacía.

Ejemplo: Z → yXX → yX → λ

Ejemplo: Es el conjunto de todos los números binarios.

12

CONCLUSION Dichas aportaciones han resultado elementos indispensables para la construcción de compiladores y traductores que puedan servir de interpretes validos entre las ordenes que dan los seres humanos y su correcta recepción y aplicación por maquinas automáticas. 13

Gracias por su atención

Si supones que no existe esperanza, entonces garantizas que no habrá esperanza. Si supones que existe un instinto hacia la libertad, entonces existen oportunidades de cambiar las cosas, entonces hay una opción de que puedas contribuir a hacer un mundo mejor. Esta es tu alternativa.

14