Asignatura Datos del estudiante Fecha

Apellidos: RAMIREZ CASSIANI

TEORIA DE
2021
AUTOMATAS
Nombre: TATIANA

Actividad
Protocolo individual de la unidad n°: 3

Análisis y síntesis:
Síntesis e interpretación personal de los temas vistos en la unidad

LENGUAJES Y GRAMATICAS FORMALES

El universo de los sistemas automatizados, digital, virtual. Cada día absorbe más
terreno y forma parte ya de nosotros. Por ejemplo en el interior de nuestros
hogares, encontramos lavadoras, hornos microondas equipos de sonido, video,
sistemas de calefacción/aire acondicionado etc. En el lugar menos pensado, la
cocina o el cuarto de lavado, usted posee tecnología de punta, sistemas
automatizados obras de ingeniería, pero que, por la familiaridad o uso frecuente
parece algo normal y parte de nosotros incluso nuestros niños interactúan cada
día en Video Juegos, TV, DVD, Play Stations y otros con la mayor familiaridad,
sin imaginarse la complejidad de los sistemas que nos rodean en el mundo real.
Hasta hace unos años atrás se empleaba la frase “Lento pero seguro” con el
objetivo de buscar la excelencia pensando que los trabajos realizados a la rápida
no tenían buena calidad, empero con los sistemas automatizados surge una
nueva premisa “Rápido y muy seguro”. El universo tecnológico cada día busca
satisfacer las necesidades del ser humano, mejorar y optimizar la forma de hacer
las cosas, más rápido y mejor. En lo que atañe a nuestro tema de estudio no es
otra cosa que la comprensión y representación de estos dos universos paralelos
el real y el virtual, el tema de estudio abarca más allá de las cosas tangibles o
visibles, la expresión corporal, el lenguaje la forma de decir y comprender el
significado y la semántica de las palabras generando lenguajes de comunicación
. Por ejemplo: Sean las siguientes expresiones: Ven Se refiere a la acción de
venir. Ven! Es una orden, una expresión imperativa. Ven? Es una consulta, o
pregunta que implica la voluntad del otro de realizarlo o no. En el universo del
lenguaje existen innumerables expresiones y formas de decir las cosas por lo que
se hace necesaria la estandarización o formalización de un lenguaje, de manera
que pueda adquirir un significado real para nosotros. Si nos preguntamos qué
significa lenguaje formal, probablemente lleguemos a analizar primeramente el
término lenguaje, que en palabras sencillas, viene a ser todo tipo de expresión
que permite al ser humano comunicarse con sus semejantes, con el cual podemos
expresarnos y dar a conocer nuestras opiniones, es sin duda importante aclarar,
que para poder entendernos entre personas, debemos hablar un mismo idioma.
Caso contrario podríamos caer en ambigüedades que ocasionaría malos
entendidos, por ejemplo, el movimiento de girar la cabeza de izquierda a derecha
Asignatura Datos del estudiante Fecha
Apellidos: RAMIREZ CASSIANI
TEORIA DE
2021
AUTOMATAS
Nombre: TATIANA

o viceversa significa para nosotros en este lado del mundo “No”, para otros podría
significar “Si”, otro ejemplo, es la forma de lectura/escritura lo normal para
nosotros es realizarlo de izquierda a derecha, esto parece obvio, sin embargo no
lo es, si consideramos que hay millones de personas que leen de derecha a
izquierda, de arriba abajo o incluso en diagonal. Si analizamos la forma de
escritura en Arabia o China tendríamos que analizar la forma de lectura, antes de
realizarla, de lo contrario podríamos darle un significado muy diferente, como,
sucedió en una publicidad de analgésicos (pastillas) para calmar el dolor de
cabeza, se trabajó con las siguientes imágenes, bajo la premisa: “una imagen
habla más que mil palabras”

Una gramática formal es una estructura lógico-matemática con un conjunto de

reglas de formación que definen las cadenas de caracteres admisibles en un
determinado lenguaje formal o lengua natural. Las gramáticas formales aparecen
en varios contextos diferentes: la lógica matemática, las ciencias de la
computación y la lingüística teórica, frecuentemente con métodos e intereses
divergentes.

En un lenguaje formal, a las cadenas formadas según las reglas de la gramática

formal se las llama fórmulas bien formadas, y el conjunto de todas las fórmulas
bien formadas constituye un lenguaje formal. Una gramática formal no describe el
significado de las fórmulas bien formadas, sino solamente su forma. La teoría de
los lenguajes formales estudia las gramáticas formales y los lenguajes formales,
y es una rama de la matemática aplicada. Sus aplicaciones se encuentran en la
ciencia computacional teórica, la lingüística, la semántica formal, la lógica
matemática y otras áreas.
Una gramática formal es un conjunto de reglas para reescribir cadenas de
caracteres, junto con un símbolo inicial desde el cual debe comenzar la
reescritura. Por lo tanto, una gramática formal generalmente se piensa como una
generadora de lenguajes. Sin embargo, a veces también puede ser usada como
la base para un "reconocedor": una función que determina si una cadena
cualquiera pertenece a un lenguaje o es gramaticalmente incorrecta.
Hay distintos tipos de gramáticas formales que generan lenguajes formales
(véase la jerarquía de Chomsky). Imaginemos una gramática con estas dos
reglas:

1. A → bA
2. A → c
El elemento en mayúsculas es el símbolo inicial. Los elementos en minúsculas
son los símbolos terminales. Para generar cadenas de caracteres, la idea es
sustituir el símbolo inicial de la izquierda por los símbolos de la derecha, y luego
repetir el proceso hasta que sólo haya símbolos terminales. Por ejemplo:
Asignatura Datos del estudiante Fecha
Apellidos: RAMIREZ CASSIANI
TEORIA DE
2021
AUTOMATAS
Nombre: TATIANA

A → bA → bbA → bbbA → bbbc

Esta gramática da lugar a un lenguaje formal que consiste en el conjunto de
todas las cadenas de caracteres que pueden ser generadas por medio ellas.
Por ejemplo: bbbc, bbbbbbbbc, c, bc, etc.
Para comprender mejor la idea, podemos considerar un modelo de
reescritura para el español:

1. O → SUJ PRED (Oración → Sujeto Predicado)

2. SUJ → Det N (Sujeto → Determinante Nombre)
3. PRED → V COMP (Predicado → Verbo Complemento)
4. DET → el
5. N → niño, (hombre, anciano)
6. V → duerme, (ríe, come)
7. COMP → plácidamente, (intranquilo)
Estas reglas pueden utilizarse para generar la frase "el niño duerme
plácidamente", así:

1. O(RACIÓN) (símbolo inicial)

2. SUJ(ETO) PRED(ICADO) (por la regla 1)
3. DET(ERMINANTE) N(OMBRE) PRED(ICADO) (por la regla 2)
4. DET(ERMINANTE) N(OMBRE) V(ERBO) COMP(LEMENTO) (por la
regla 3)
5. el N(OMBRE) V(ERBO) COMP(LEMENTO) (por la regla 4)
6. el niño V(ERBO) COMP(LEMENTO) (por la regla 5)
7. el niño duerme COMP(LEMENTO) (por la regla 6)
8. el niño duerme plácidamente (por la regla 7)
Vemos que existen unas definiciones especiales como ORACIÓN, SUJETO,
etc. que no aparecen en la frase final formada. Son unas entidades abstractas
denominadas "categorías sintácticas" que no son utilizables en una oración
(tienen un papel similar al de las categorías gramaticales de las lenguas
naturales). E igualmente el mismo sistema permite derivar otras oraciones
similares usando formas las formas léxicas entre paréntesis:

Det N V COMP

niño duerme
plácidamente
El hombre ríe
intranquilo
anciano come
Asignatura Datos del estudiante Fecha
Apellidos: RAMIREZ CASSIANI
TEORIA DE
2021
AUTOMATAS
Nombre: TATIANA

Las categorías sintácticas definen la estructura del lenguaje

representando porciones más o menos grandes de las frases. Existe una
jerarquía interna entre las categorías sintácticas.
La categoría superior sería la FRASE que representa una oración válida
en lengua castellana.
Por debajo de ella se encuentran sus componentes. Ninguna de estas
categorías dan lugar a frases válidas solo la categoría superior.
Al finalizar toda la jerarquía llegamos a las palabras que son las unidades
mínimas con significado que puede adoptar una frase.
Aplicando las jerarquías y sustituyendo elementos, llegamos al punto en
donde todas las categorías sintácticas se han convertido en palabras,
obteniendo por tanto una oración válida; como por ejemplo: El niño corre.
Este proceso se llama producción o generación.
LENGUAJES Y GRAMÁTICAS LENGUAJE
Se denomina lenguaje a un conjunto de palabras de un determinado alfabeto.
También un lenguaje es un conjunto de cadenas de símbolos (palabras,
oraciones, textos o frases). Un lenguaje está compuesto por Sintaxis: (gramática),
que define las secuencias de símbolos que forman cadenas válidas de un
lenguaje. Y por Semántica, que es el significado de las cadenas que componen
un lenguaje.
Ejemplo 1: Sintaxis: A Semántica: es un número natural. Diferente sintaxis en
diferentes lenguajes: A: natural A: es un número que pertenece al conjunto de
|N={1,2,3..N}
Ejemplo 2: Sintaxis: if a=b then write(a, ‘ es igual a ’, b ) else write(a, ‘ es distinto
a ’, b )
Semántica: Si se cumple la condición entonces se muestra un mensaje que
ambos números son iguales. Caso contrario, se escribe los número son distintos.
Gramática Chomsky la define como: “Descripción formalizada de las oraciones de
un lenguaje. Una gramática genera o describe un lenguaje.”
DEFINICIÓN FORMAL DE GRAMÁTICA
Una gramática es una cuádrupla: G = (VT, VN, S, P)
donde: VT= {conjunto finito de símbolos terminales} VN={conjunto finito de
símbolos no terminales} S es el símbolo inicial y pertenece
a VN P= {conjunto de producciones o de reglas de derivación} Todas las cadenas
del lenguaje definidas por la gramática están formadas con símbolos del
vocabulario terminal VT.
Asignatura Datos del estudiante Fecha
Apellidos: RAMIREZ CASSIANI
TEORIA DE
2021
AUTOMATAS
Nombre: TATIANA

El vocabulario terminal se define por enumeración de los símbolos terminales.

El vocabulario no terminal VN es el conjunto de símbolos introducidos como
elementos auxiliares para la definición de la gramática, y que no figuran en las
sentencias del lenguaje. La intersección entre el vocabulario terminal y no terminal
es el conjunto vacío: {VN}  {VT} = {Ø} La unión entre el vocabulario terminal y
no terminal es el vocabulario. {VN}  {VT} = {V}
En ocasiones es importante distinguir si un determinado vocabulario incluye o no
la cadena vacía, indicándose respectivamente con superíndice + o superíndice *,
tal como se muestra a continuación: V+ = V – {} V* = V + {} El símbolo inicial S
es un símbolo no terminal a partir del cual se aplican las reglas de la gramática
para obtener las distintas cadenas del lenguaje.
JERARQUÍA DE LAS GRAMÁTICAS
Para una mejor comprensión las gramáticas han sido clasificadas de acuerdo a
particularidades y restricciones propias, una de ellas y la más acertada es la
formulada por Avram Noam Chomsky, quien clasificó las gramáticas de acuerdo
a cuatro tipos, dando origen a la Jerarquía de Chomsky en función de la forma de
reglas de derivación o producción. Las gramáticas no restringidas
Tipo 0 Sensibles al contexto
Tipo 1 Independientes del contexto
2 Gramáticas regulares
Tipo 3
La clasificación comienza con un tipo de gramáticas que pretende ser universal,
aplicando restricciones a sus reglas de derivación, se van obteniendo los otros
tres tipos de gramáticas. Esta clasificación es jerárquica, es decir cada tipo de
gramática incluye a todos los tipos siguientes. Los lenguajes que resultan de
dichas gramáticas también se identifican con lenguajes de tipo cero, uno, dos y
tres.
Asignatura Datos del estudiante Fecha
Apellidos: RAMIREZ CASSIANI
TEORIA DE
2021
AUTOMATAS
Nombre: TATIANA

Discusión:
Dudas, desacuerdos, discusiones

l lenguaje formal, que configura el ámbito de la lógica, se caracteriza

esencialmente por prescindir de las dimensiones semántica y pragmática, para
centrarse de forma exclusiva en las relaciones que se pueden hallar entre los
distintos signos que componen un sistema lingüístico, es decir, su sintaxis.
Dentro de los tipos de ciencia señalados en capítulos anteriores, la lógica forma
parte de las ciencias formales, ya que basa su sentido, su lenguaje y su ámbito
de aplicación en las estructuras elementales que componen los enunciados, no
en su relación con el mundo en tanto que tal. Así, si la física, la química o la
geografía emplean unos códigos lingüísticos naturales, la lógica hace uso de una
gramática, unas partículas y unas leyes que no se emplean en el mundo ordinario.
Las disciplinas que se encargan de estudiar los distintos tipos de lenguajes y sus
signos son la semiótica y la semiología, fundadas, respectivamente, por Charles
Morris en los Estados Unidos y por Ferdinand de Saussure en Francia hacia la
primera mitad del siglo xx.
Según la semiótica, los lenguajes pueden ser abordados desde tres perspectivas
distintas: la semántica, la sintaxis y la pragmática. La primera se dedica a
desentrañar el significado de los signos, la segunda estudia la relación entre los
elementos que componen una frase o un texto y la tercera se centra en cómo se
establecen relaciones entre los signos lingüísticos y sus usuarios en
circunstancias comunicativas concretas.
Al lenguaje de la lógica se le llama «lenguaje formal» porque es el resultado de
formalizar o transformar el lenguaje ordinario en unas partículas elementales, que
sirven para manifestar con mayor precisión y simpleza las relaciones entre los
signos. Este lenguaje formal es, en consecuencia, un lenguaje simbólico.
El lenguaje natural y el lenguaje artificial
Los lingüistas se preocupan por el análisis del lenguaje ordinario, lleno de
inexactitudes y referido al mundo material, mientras que los lógicos tratan de
establecer un lenguaje preciso, exacto, similar al matemático, que posibilita
realizar cálculos y descubrir si algo es cierto o no dependiendo no ya de los
hechos, sino de las relaciones entre los signos.
De esta forma, cabe distinguir entre dos tipos de lenguajes: los naturales y los
artificiales. Los primeros se heredan, son inexactos y están llenos de
redundancias, dependen de las circunstancias sociales y constituyen una forma
de vida, de tal forma que son experienciales, no pensados o analizados.
Asignatura Datos del estudiante Fecha
Apellidos: RAMIREZ CASSIANI
TEORIA DE
2021
AUTOMATAS
Nombre: TATIANA

Los lenguajes artificiales, por contra, son creados o construidos de forma

consciente, y no se emplean de manera natural sino que requieren de una
especialización y de un esfuerzo exhaustivos.
Los lenguajes naturales se emplean de forma inconsciente, de tal manera que un
hablante no suele reparar con exactitud en cuáles son las palabras que está
utilizando y se deja llevar por la espontaneidad y la imaginación. Al contrario, el
lenguaje de las matemáticas o de la lógica fueron concebidos para ser utilizados
en unas situaciones muy concretas con el fin de hacer frente a unos problemas o
a unas cuestiones que no son ordinarios.
Por otra parte, los lenguajes naturales se aprenden de forma espontánea durante
los primeros años de vida, y terminan integrándose dentro de lo inconsciente,
mientras que los lenguajes artificiales se aprenden de forma consciente cuando
ya se sabe emplear el natural, siguiendo unas normativas y unas convenciones
establecidas por una tradición científica.
El carácter natural del lenguaje ordinario hace posible que éste se diversifique con
facilidad, dando lugar a dialectos y modismos, mientras que los lenguajes
artificiales tienden a ser universales, a mostrarse semejantes para toda una
comunidad científica.