Sunteți pe pagina 1din 4

CUESTIONARIO TEORIA DE LA COMPUTACION

1.- DEFINA LOS SIGUEINTES CONCEPTOS:

LENGUAJE, AUTOMATA, COMPUTABILIDAD, COMPLEJIDAD COMPUTACIONAL,


GRAMATICA, CONJUNTO E INDUCCION MATEMATICA.

LENGUAJE

Se llama lenguaje a cualquier tipo de código semiótico estructurado, para el


que existe un contexto de uso y ciertos principios combinatorios formales.
Existen muchos contextos tanto naturales como artificiales donde aparecen
lenguajes.

AUTOMATA

Es el nombre simplificado que recibe un "Sistema de Control Basado en


Controladores Lógicos Programables" (PLC´s).

COMPUTABILIDAD

Es la parte de la computación que estudia los problemas de decisión que


pueden ser resueltos con un algoritmo o equivalentemente con una máquina
de Turing. La teoría de la computabilidad se interesa a cuatro preguntas:
• ¿Qué problemas puede resolver una máquina de Turing?
• ¿Qué otros formalismos equivalen a las máquinas de Turing?
• ¿Qué problemas requieren máquinas más poderosas?
• ¿Qué problemas requieren máquinas menos poderosas?
La teoría de la complejidad computacional clasifica las funciones computables
según el uso que hacen de diversos recursos en diversos tipos de máquina.

COMPLEJIDAD COMPUTACIONAL

Es la rama de la teoría de la computación que estudia, de manera teórica, los


recursos requeridos durante el cómputo de un algoritmo para resolver un
problema. Los recursos comúnmente estudiados son el tiempo (mediante una
aproximación al número y tipo de pasos de ejecución de un algoritmo para
resolver un problema) y el espacio (mediante una aproximación a la cantidad
de memoria utilizada para resolver un problema). Se pueden estudiar
igualmente otros parámetros, tales como el número de procesadores
necesarios para resolver el problema en paralelo. La teoría de la complejidad
difiere de la teoría de la computabilidad en que esta se ocupa de la factibilidad
de expresar problemas como algoritmos efectivos sin tomar en cuenta los
recursos necesarios para ello.

ING. EN SISTEMAS COMPUTACIONALES


CUESTIONARIO TEORIA DE LA COMPUTACION

GRAMATICA

Es el estudio de las reglas y principios que regulan el uso del lenguaje a nivel
intraoracional (dentro de la oración). También se denomina así al conjunto de
reglas y principios que gobiernan el uso de un lenguaje determinado, por lo
que puede decirse que cada lenguaje tiene su propia gramática. La gramática
es parte del estudio general del lenguaje denominado lingüística.
CONJUNTO

Es una colección de objetos bien definidos por medio de algunas propiedades


en común.
INDUCCION MATEMATICA

Es un método que se utiliza para demostrar propiedades, formulas, validarlas y


probar que son verdaderas. Es un método simple que consta de tres pasos
fundamentales en los cuales se debe demostrar la propiedad reemplazando su
incógnita por 1, luego por k y finalmente por k+1.

2.- TOMANDO ENCUENTA COMO BASE LA ESTRUCTURA QUE DEBE DE


LLEVAR UN LENGUAJE EXPLIQUE COMO ESTA ESTRUCTURADO EL
IDIOMA ESPAÑOL.

El español se origino como un dialecto del latin en las zonas limitantes entre
Cantabria, Burgos, alava y la rioja, provincias del actual norte de España,
convirtiéndose en el principal idioma popular del reino de castilla.

3.- DESCRIBA Y EXPLIQUE AMPLIAMENTE LA TIPOLOGIA PROPUESTA


POR CHOMSKY Y CLASIFICAR LOS DIFERENTES TIPOS DE LENGUAJES.

En 1959 Noam Chomsky clasifico las gramáticas en cuatro familias. Las


gramáticas no restringidas, sensibles al contexto, independientes del contexto
y las gramáticas regulares que se conocen como gramáticas de tipo cero, uno,
dos y tres respectivamente. Los lenguajes que resultan de dichas gramáticas
también se identifican con lenguajes de tipo cero, uno, dos y tres. A esta
jerarquía de lenguaje se le conoce como la jerarquía de chomsky.

ING. EN SISTEMAS COMPUTACIONALES


CUESTIONARIO TEORIA DE LA COMPUTACION

Gramática Regular: Es aquella gramática cuyas reglas de reescritura tienen


las siguientes restricciones:
1.- El lado izquierdo de cualquier regla de reescritura debe consistir en un solo
no terminal, el lado derecho debe ser un terminal seguido por un no
terminal, o un solo terminal o la cadena vacía
Ejemplo:

Z yX

X y

En una gramática regular cualquier regla de la forma N x podría remplazarse


con el par de reglas siguientes:

N xX

Donde X es un no terminal que no aparece en ningún otro lugar de la


gramática, sin alterar el conjunto de cadenas que podría generar la gramática.

N xX x =x
La importancia de las gramáticas regulares reside en que los
lenguajes generados por ellas son exactamente aquellos que
reconocen los autómatas finitos.

ING. EN SISTEMAS COMPUTACIONALES


CUESTIONARIO TEORIA DE LA COMPUTACION

NOTA:

se interpreta como "puede ser", "se compone de", "es sustituida por".

\ se interpreta como "o" ejemplo: E AyE B se unen en E A\B.

se interpreta como "derivar", "produce" o "genera".


Gramáticas independientes del contexto.
A diferencia de las gramáticas regulares, estas gramáticas no tienen
restricciones con respecto a la forma del lado derecho de sus reglas de
reescritura aunque aun se requiere que el lado izquierdo de cada regla sea un
no terminal. La siguiente es una gramática independiente del contexto, pero no
es regular.

S zMNz

M aMa

M z

N bNb

N z
El termino independiente del contexto refleja que, como el lado izquierdo
de cada regla de reescritura únicamente puede contener un solo no terminal la
regla puede aplicarse sin importar el contexto donde se encuentre dicho no
terminal.
4.- DESCRIBA Y EXPLIQUE AMPLIAMENTE LA TIPOLOGIA PROPUESTA
POR CLAUDE SHANNON AL PROPONER LOS DIFERENTES TIPOS DE
AUTOMATAS.

5.- DESCRIBA AMPLIAMENTE LA TIPOLOGIA (CLASIFICACION) DE LOS


AUTOMATAS PROPUESTOS DENTRO DE LA TEORIA DE LA COMPUTACION
(PARA EL ANALISIS DEL LENGUAJE)

ING. EN SISTEMAS COMPUTACIONALES

S-ar putea să vă placă și