Lenguajes

Formales














Ing. Nerio Villalobos Finol






LENGUAJES FORMALES

2
1.1. COMUNICACIN E INFORMACIN
Informacin y comunicacin estn ntimamente relacionadas y tienden a
confundirse. Informacin es el contenido del mensaje enviado o recibido.
Comunicacin, en cambio, es un acto mediante el cual se transmite una
informacin.

La informacin puede obtenerse unilateralmente un individuo ve que llueve-, en
tanto que la comunicacin es siempre bilateral o multilateral. La comunicacin es
un fenmeno eminentemente social, porque pone en contacto a un individuo con
otro u otros de su especie.

Informacin es el conjunto de conocimientos nuevos que llegan al receptor, de
manera que si un mensaje no le comunica novedades, podemos afirmar que
carece de informacin, aunque sea significativo. Por ejemplo, si estoy paseando
por la calle con un amigo y le digo Est lloviendo, resulta evidente que mis
palabras no aportan ninguna informacin puesto que el receptor est conmigo y ve
perfectamente que est lloviendo.

El primer estadio de la comunicacin humana es el lenguaje gestual y oral. La
emisin y recepcin de signos visuales y orales se da dentro de un campo de
comunicacin cercano al cuerpo, y su lmite espacial es el del alcance de la voz y
la visin. Su otra gran limitacin es temporal; la voz y el gesto tienen una
existencia efmera: lo que dura la propia expresin.

Para ampliar el espacio y el tiempo se recurre a un tercer elemento, ajeno al
receptor y al emisor: un medio o canal que recoja y fije la informacin en un
soporte durable y que pueda hacerla llegar a una distancia superior a la normal en
la relacin personal entre dos individuos. La tradicin oral y el mensajero son
soluciones que an hoy perduran; pero no cumplen la condicin bsica de todo
medio: emitir la misma cantidad de informacin que reciben. Surge, entonces, la
tcnica del trazo, una huella material que representa visualmente una informacin:
primero, los pictogramas; luego, la escritura alfabtica.

El ser humano es nico en el reino animal por su capacidad de comunicacin
compleja: puede inventar nuevos signos y dar nuevo significado a los existentes.
Para estabilizar los contenidos en un medio se hace preciso disponer de un
cdigo, de una convencin que permita al receptor y al emisor obtener la misma
significacin de los signos, asegurando que el contenido de la informacin no se
distorsione.






NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
3
1.1.1. ELEMENTOS DE LA COMUNICACIN
En cualquier acto de comunicacin intervienen los siguientes factores:

Emisor del mensaje

Receptor del mensaje.

Canal psicofsico entre emisor y receptor.

Mensaje o informacin transmitida.

Referente o contexto al que se refiere el mensaje.

Cdigo en que est cifrado el mensaje y que es compartido por emisor y
receptor.



EMISOR MENSAJ E RECEPTOR
CANAL



- Ruido -
CDIGO
REFERENTE













Figura 1. Elementos de la Comunicacin

No todos los mensajes desempean la misma funcin: algunos se limitan a
informar, otros son un recurso para iniciar el contacto comunicativo, otros
mensajes se emiten con el propsito de provocar una determinada reaccin en el
receptor, otros con la intencin de cautivar la sensibilidad del destinatario. La
funcin que desempea un mensaje viene determinada por el predominio de
alguno de los elementos en el proceso comunicativo o porque el mensaje incide
de manera directa sobre dicho elemento; sin embargo, es frecuente que un mismo
mensaje desempee varias funciones a la vez.



NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

4
1.2. LENGUAJE NATURAL Y LENGUAJE FORMAL

Un lenguaje es la funcin que expresa pensamientos y comunicaciones entre las
personas. Esta funcin es llevada a cabo por medio de seales y sonidos (voz) y
posiblemente por signos escritos (escritura). Podemos distinguir entre dos clases
de lenguajes: los lenguajes naturales (ingls, alemn, espaol, etc.) y lenguajes
formales (matemtica, lgica, etc.)

El lenguaje natural nos permite designar las cosas actuales y razonar a cerca de
ellas, fue desarrollado y organizado a partir de la experiencia humana y puede ser
utilizado para analizar situaciones altamente complejas y razonar muy sutilmente.
La riqueza de sus componentes semnticos da a los lenguajes naturales su gran
poder expresivo y su valor como una herramienta para razonamiento sutil. Otra
propiedad de los lenguajes naturales es la polisemntica, es decir la posibilidad de
que una palabra en una oracin tenga diversos significados.

En un primer resumen, los lenguajes naturales se caracterizan por las siguientes
propiedades:

Desarrollados por enriquecimiento progresivo antes de cualquier intento de
formacin de una teora.
La importancia de su carcter expresivo debido principalmente a la riqueza del
componente semntico (polisemntica).
Dificultad o imposibilidad de una formalizacin completa.

Por otra parte, el lenguaje formal es aquel que el hombre ha desarrollado para
expresar las situaciones que se dan en especfico en cada rea del conocimiento
cientfico. Las palabras y oraciones de un lenguaje formal son perfectamente
definidas (una palabra mantiene el mismo significado prescindiendo de su
contexto o uso). Los lenguajes formales estn exentos de cualquier componente
semntico fuera de sus operadores y relaciones. Los lenguajes formales pueden
ser utilizados para modelar una teora de la mecnica, fsica, matemtica,
ingeniera elctrica, o de otra naturaleza, con la ventaja de que en stos toda
ambigedad es eliminada. En resumen las caractersticas de los lenguajes
formales son las siguientes:

Se desarrollan de una teora preestablecida.
Componente semntico mnimo.
Posibilidad de incrementar el componente semntico de acuerdo con la
teora a formalizar.
La sintaxis produce oraciones no ambiguas.
La importancia del rol de los nmeros.
Completa formalizacin y por esto, el potencial de la construccin
computacional.

NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
5
1.2.1. FUNCIONES DEL LENGUAJE


FUNCIN EMOTIVA O EXPRESIVA

Es la orientada al emisor. Permite inferir la subjetividad del hablante, su estado
emocional. Son tpicas las interjecciones, el nfasis en la entonacin, las
interrupciones, la alteracin del orden de las palabras, las exclamaciones,
elementos emotivos de todo tipo, adjetivos valorativos, trminos connotativos y
modo subjuntivo optativo. Lenguaje coloquial, literario con frecuencia y en
periodismo de opinin.

El llanto de los humanos o sus gestos y gritos de alegra son tambin mensajes
emotivos. En el lenguaje verbal, la funcin expresiva recurre a las interjecciones, a
las onomatopeyas o a las formas exclamativas: Ay! Qu dolor! Son mensajes
verbales que desempean principalmente una funcin emotiva. Los gestos, los tics
o la intensidad de la voz acompaan y refuerzan las expresiones verbales
propiamente dichas.


FUNCIN APELATIVA O CONATIVA

Se centra en el receptor. Es la funcin de mandato y pregunta. Sus recursos
lingsticos son los vocativos, modo imperativo, oraciones interrogativas,
utilizacin deliberada de elementos afectivos, adjetivos valorativos, trminos
connotativos y toda la serie de recursos retricos. Se da en lenguaje coloquial, es
dominante en la publicidad y propaganda poltica e ideolgica en general.

El elemento destacado es el receptor de quien el hablante quiere conseguir algo:
influirlo, aconsejarlo, moverlo a actuar en un sentido determinado... En un mensaje
predomina la funcin conativa cuando el mensaje incita al receptor a responder,
aunque no necesariamente en el mismo cdigo. En el lenguaje verbal, el
imperativo y todas las formas de interpelacin son especficas de la funcin
conativa (Qu hora es? Vete de una vez!). Tambin es muy frecuente
observar esta funcin en los mensajes publicitarios, en las seales de trfico, etc.


FUNCIN POTICA

Est centrada en la forma del mensaje. Se da principalmente en la literatura,
aunque aparece tambin en el lenguaje publicitario, en expresiones coloquiales,
en refranes, lenguaje poltico, etc.

Tiene lugar cuando el emisor quiere que el receptor centre su atencin en la forma
del mensaje. Para ello se sirve de recursos retricos, siendo el objetivo del
NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

6
mensaje el producir belleza. Predomina la funcin potica en cualquier obra de
arte, ya sea un poema lrico, una escultura o una pieza musical.

En el lenguaje habitual las palabras slo son un medio para entenderse emisor y
receptor. En el lenguaje literario son un fin en s mismas; su fin es atraer la
atencin del lector y su funcin es la de crear un mundo de belleza que
permanezca y perdure en el tiempo.


FUNCIN METALINGSTICA

Es la centrada en el cdigo. Cuando la lengua se toma a s misma como referente,
cuando la lengua habla. Se utiliza cuando se usa la lengua para hablar de la
misma lengua u otra cualquiera. Por ejemplo, cuando decimos: Burro se escribe
con B, o The article es el artculo en ingls. Esta funcin se centra en el cdigo,
es decir, en la lengua respectiva de la que se hable. Tambin se usa en textos
como las definiciones de conceptos.

Cuando el mensaje tiene como objeto fundamental referirse al propio cdigo al
que pertenece o a otros cdigos de la misma naturaleza decimos que desempea
una funcin metalingstica. Por ejemplo, la oracin La palabra monosabio
significa: mozo que ayuda al picador en la plaza, adems de informar,
desempea una funcin metalingstica en tanto que se refiere al propio lenguaje.
En este caso decimos que la palabra monosabio est mencionada y que estamos
usando el lenguaje reflexivamente.

En un libro de ingls escrito en castellano, las expresiones del tipo El verbo to
write es irregular. Su pasado es wrote y el participio written, son expresiones
metalingsticas. En tales casos decimos que el ingls es el lenguaje objeto
(lenguaje sobre el que estamos hablando) y que el castellano es el metalenguaje
(lenguaje que habla del lenguaje objeto). En dichas frases usamos el castellano y
mencionamos las expresiones inglesas to write, wrote y written.


FUNCIN FTICA

Es la funcin del lenguaje centrada en comprobar la calidad de la comunicacin,
en ese sentido, se refiere a comprobar si el medio fsico por el cual se comunica
(canal) est funcionando correctamente. Tambin se utiliza para abrir y cerrar la
comunicacin. Siempre que nos comunicamos con alguien necesitamos
comprobar que nos est escuchando y se debe utilizar para mantener la buena
comunicacin.

Sirve para establecer, prolongar o interrumpir la comunicacin, para verificar el
funcionamiento del circuito. Con ella slo se pretende que el canal permanezca
NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
7
abierto para que la comunicacin se mantenga. El timbre del telfono que avisa al
receptor de una llamada cumple una funcin ftica. Las frases insulsas que
emitimos al encontrarnos con un vecino en el ascensor (hola, hace un buen da,
etc.) desempean tambin una funcin ftica; su finalidad no es principalmente la
de informar, sino la de facilitar el contacto social para poder introducir,
posteriormente, mensajes de mayor importancia.


FUNCIN REFERENCIAL

Es la funcin del lenguaje en donde se pone nfasis al factor de contexto. La
funcin referencial trata solamente sucesos reales y comprobables, ya que no son
opiniones ni cosas subjetivas, lo que son es una serie de elementos verificables.

La funcin referencial, llamada tambin informativa o representativa, est presente
en todos los actos comunicativos. Se da cuando el mensaje que se transmite
puede ser verificable, porque claramente reconocemos la relacin que se
establece entre el mensaje y el objeto (referente). Prevalecen los sustantivos y
verbos; los textos informativos, cientficos y periodsticos. Su fin principal es la de
informar. Para ello se utilizar un lenguaje claro, concreto y sencillo, compuesto de
trminos de significado unvoco.
























NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

8
En la siguiente tabla se resumen las caractersticas bsicas de cada una de las
funciones del lenguaje:


Funcin Finalidad Marcas Gramaticales Tipo de Texto
Expresiva
Expresar sentimientos,
opiniones, deseos, es
decir, la subjetividad del
hablante.
Texto centrado en el
yo. Verbos en 1
persona.
Exclamaciones
Interrogacin retrica
Modo subjuntivo
Lxico valorativo
Expositivo-
argumentativo
Conversacional
Descriptivo
Conativa
Influir en el
comportamiento del
receptor y provocar en l
una reaccin.
Texto centrado en el
t. Verbos en 2
persona.
Modo imperativo
Apelacin al receptor
mediante vocativos.
Frases cortas y
sobrecargadas de
pronombres.
Argumentativo
Conversacional
Potica
Atraer la atencin sobre
la forma de la expresin
lingstica.
Figuras retricas
Rima
Ritmo
Vocabulario muy
connotativo.
Cualquiera con
intencin potica
Metalingstica
Utilizar la lengua para
hablar de la propia
lengua.
Sin marcas
especficas
Expositivo
Ftica
Prolongar, establecer o
interrumpir la
comunicacin.
Frases hechas
Muletillas
Frases breves
Repeticiones
Todos
Referencial

Transmitir contenidos de
forma objetiva.
No marcada
formalmente
Modo indicativo
Expositivo
Narrativo
Descriptivo
Conversacional









NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
9
1.2.2. NIVELES DEL LENGUAJE

Nivel Fonolgico: trata de cmo las palabras se relacionan con los sonidos
que representan.

Nivel Morfolgico: trata de cmo las palabras se construyen a partir de unas
unidades de significado mas pequeas llamadas morfemas, por ejemplo:
rpida + mente => rpidamente

Nivel Sintctico: trata de cmo las palabras pueden unirse para formar
oraciones, fijando el papel estructural que cada palabra juega en la oracin y
que sintagmas son parte de otros sintagmas.

Nivel Semntico: trata del significado de las palabras y de cmo los
significados se unen para dar significado a una oracin, tambin se refiere al
significado independiente del contexto, es decir de la oracin aislada.

Nivel Pragmtico: trata de cmo las oraciones se usan en distintas
situaciones y de cmo su uso afecta al significado de las oraciones. Se suele
reconocer un subnivel recursivo: el nivel discursivo, que trata de cmo el
significado de una oracin se ve afectado por las oraciones inmediatamente
anteriores.























NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

10
1.3. ELEMENTOS DEL LENGUAJE NATURAL

1.3.1. ENUNCIADO

El enunciado, unidad mnima de comunicacin, es la secuencia de signos emitida
por el hablante que queda delimitada entre el silencio previo a la elocucin y el
que sigue a su cese, y va acompaada por un determinado contorno meldico: la
curva de entonacin. Dicho con otras palabras: el enunciado est compuesto por
uno o ms signos que emite el hablante y capta el oyente; posee sentido completo
y concreto dentro de la situacin en que se produce.

Los mensajes pueden estar compuestos por un solo enunciado o por varios
concatenados por su significado, sin que entre ellos tengan que establecerse
necesariamente relaciones sintcticas; en realidad, cada uno por s solo podra
constituir un acto de habla independiente. Se distinguen dos tipos de enunciados:
las frases y las oraciones.


1.3.2. FRASE

Los enunciados que carecen de una forma verbal personal son las denominadas
frases. Los constituyentes de las frases son siempre palabras de ndole nominal,
esto es, sustantivos, adjetivos o adverbios. Al no existir un ncleo verbal del que
dependan sus dems componentes, las relaciones internas no son idnticas a las
que se establecen en la oracin. Por ello, las frases no deben clasificarse por
analoga con las oraciones a las que pudieran ser semnticamente equivalentes.

Las frases pueden ser unimembres o bimembres. Las unimembres son
interjecciones o se comportan como ellas, tanto si estn constituidas por una sola
palabra (Lstima!, gracias, vaya!), como si consisten en un sintagma ms o
menos complejo (Mi alma!, buenas tardes, a estudiar mucho, gajes del oficio). Las
bimembres son ms complejas y en su seno puede apreciarse una relacin
predicativa (algo se dice de algo) parecida a la de los enunciados oracionales; son
como oraciones a las que faltara el verbo:

Prohibida la entrada.
El dulce placer de no hacer nada
Qu tiempos aquellos!
A mal tiempo, buena cara.
De tal palo, tal astilla.
En casa del herrero, cuchara de palo.
Ver para creer.



NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
11
1.3.3. ORACIN

Las oraciones, por el contrario, se caracterizan por poseer dos unidades
significativas (sujeto y predicado), entre las que se establece la relacin
predicativa, que se entienden tradicionalmente como aquello de lo que se dice
algo y lo que se dice del sujeto respectivamente. Ambas unidades estn
contenidas en el verbo: el verbo es el ncleo de la oracin.

La oracin es la mnima unidad de lenguaje con sentido completo. Por sentido
completo debe entenderse que la persona que se est expresando asume una
determinada actitud ante lo que dice, es decir, que pregunta, afirma, niega, etc.

Pienso es una oracin completa porque en su seno se cumple la relacin
predicativa: se dice de alguien (la primera persona) algo (la nocin de pensar). Los
dems componentes de la oracin son complementos cuya presencia no es
indispensable para que exista oracin. Desde este punto de vista, expresiones
como: Fuego!, Perdn!, Llueve, Espera, etc. son oraciones porque llevan sentido
en s mismas.

As, la oracin es una unidad lingstica dotada de significacin completa y ncleo
verbal, y que no pertenece a otra unidad gramatical superior. Por encima de la
oracin se encuentran unidades de cualidad diferente: prrafo, captulo, texto, etc.
Por ello, tradicionalmente se considera a la oracin la mxima unidad gramatical.
Se puede decir que es una unidad estructural porque sus componentes estn
interrelacionados; est compuesta por unidades menores (sintagmas) que se
agrupan con una estructura determinada (habitualmente sujeto + predicado).

Se puede hablar de oracin cuando un segmento de la comunicacin con verbo en
forma personal transmite un sentido completo; si no, no hay oracin. As, la
secuencia: Ese alumno moreno es el peor de la clase, puede ser dividida en dos
partes: Ese alumno moreno y el peor de la clase, pero ninguna de las dos tiene
sentido completo: son sintagmas, no oraciones. No obstante, ambos ejemplos
podran constituir frases en ciertas situaciones o contextos: pies de foto, por
ejemplo.

Semnticamente, la oracin es la menor unidad del habla que comunica un
sentido completo. Tambin la palabra tiene significado completo. La diferencia
entre oracin y palabra est en el verbo comunica. Un vocablo como azcar posee
un significado, pero para que tal palabra comunique algo, debe incluirse en una
oracin. Ejemplos: El azcar est hmedo o Ponme ms azcar.

Desde el punto de vista fonolgico (pausas, pronunciacin, entonacin), la oracin
es una unidad entre pausas. Ejemplo: He comprado tres libros. Sintcticamente,
es toda forma lingstica que no est incluida en otra ms amplia. En este sentido,
la oracin es independiente.
NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

12
La oracin ms breve consta de una sola palabra que obligatoriamente ha de ser
un verbo en forma personal (Llueve); sin embargo, en general la oracin
gramatical se divide en dos miembros: sujeto y predicado.

Sujeto: Es el elemento de la oracin del cual se dice algo. Por ejemplo: El sol
alumbra la tierra. Se dice alumbra la tierra, o sea, el predicado, de quin se
dice eso? Del sol, entonces el sol es el sujeto. Hay dos tipos de sujeto:

o Sujeto tcito: Cuando el sujeto no est escrito, pero se puede pensar en l,
se llama sujeto tcito. Por ejemplo: Por favor, juega conmigo. En esta
oracin el sujeto es t, ya que es a quien se le est pidiendo jugar, sin
embargo no est escrito en la oracin.

o Sujeto expreso: Cuando en la oracin se encuentra escrito el sujeto
mismo. Por ejemplo: El mar est picado esta tarde. El sujeto expreso es El
mar, ya que es de quien se est diciendo que est picado esta tarde.

Predicado: Es lo que se predica, lo que se dice; es en s la expresin con
sentido completo; por ejemplo si decimos juega, el hablante se est dirigiendo
a un oyente; le est mandando o rogando algo; lo que est diciendo tiene
sentido completo porque el hablante est asumiendo una actitud determinada;
juega es oracin gramatical porque el solo verbo es predicado, porque dice
algo y, adems porque est conjugado. El sujeto que le corresponde es t. Hay
dos tipos de predicados:

o Predicado verbal: El verbo expresa el comportamiento del sujeto. Estos
verbos pueden ser: juega, trabaja, salta, llora, etc.

o Predicado nominal: Es cuando el sustantivo, adjetivo o participio que sigue
al verbo copulativo (ser o estar) califica, clasifica o identifica al sujeto.


1.3.4. Ncleo del sujeto y Ncleo del predicado

El ncleo es un elemento clave que nos ayuda a identificar fcilmente tanto al
sujeto como al predicado. El ncleo del predicado es siempre el verbo, ya que este
es indispensable para que exista un predicado. Lo mismo sucede con el sujeto, la
palabra bsica en la mayora de los casos y ncleo del sujeto es el sustantivo. Sin
embargo existen en el espaol tantas variaciones, que existen otros casos de
ncleos del sujeto como: pronombres personales, un infinitivo, un participio
sustantivado, un adjetivo sustantivado, etc. A los dems elementos que
acompaan al sustantivo o al verbo se les llama modificadores del ncleo.



NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
13
1.3.5. SINTAXIS

La sintaxis es el estudio de las relaciones de los signos entre s, prescindiendo del
sujeto hablante y prescindiendo de la referencia de las expresiones a algo ajeno a
ellos. La sintaxis se limita a considerar aisladamente la estructura de las cadenas
de smbolos.

Los hablantes de un lenguaje reconocen el orden gramatical de las oraciones de
su lenguaje y conocen cmo deben ser ordenadas las palabras y los morfemas en
una oracin. Todos los hablantes de una lengua estn en capacidad de producir y
entender un ilimitado nmero de nuevas oraciones que nunca antes haba odo.
Tambin tienen la capacidad de reconocer ambigedades, reconocer la diferencia
entre oraciones y parfrasis, y percibir correctamente las relaciones gramaticales
en una oracin. Todo este conocimiento, y mucho ms, es denominado en
gramtica como las reglas de la sintaxis. Un ejemplo de cmo se pueden
reconocer las reglas de la sintaxis en una oracin, an cuando sta no tenga
sentido es el famoso oxmoron de Chomsky:

Ideas verdes incoloras duermen furiosamente
(Colorless green ideas sleep furiously)

Lo anterior se podra decir que carece de sentido a primera vista, pues las ideas
no duermen, no pueden ser verdes e incoloras a la vez, sin embargo, como
hablantes podramos reconocerla como una oracin que cumple las reglas
sintcticas de la lengua.


1.3.6. SEMNTICA

En un lenguaje natural, la semntica hace referencia a la relacin entre los
nombres propios y las entidades individuales a los cuales se refieren, o entre los
enunciados y los hechos que pretende describir. A la semntica le concierne el
significado de las palabras, morfemas, frases y oraciones La reglas de la
semntica determinan en qu condiciones un signo es aplicable a un objeto o
situacin.

El significado de los morfemas y las palabras pueden ser definidos por los rasgos
o las propiedades semnticas. Los rasgos semnticos generan muchos casos.
Un caso es en el que se tienen los mismos sonidos pero diferentes significados,
estos son los homnimos o homfonos. El uso de homfonos dentro de una
oracin lleva a la ambigedad. As oraciones con el mismo significado se les
denomina parfrasis. La parfrasis entre las oraciones puede darse porque
contienen entre ellas sinnimos (palabras diferentes con el mismo significado).
Asimismo, una palabra con muchos significados se le denomina polismica. Si
dos palabras tienen significado opuesto se les llama antnimos. Los nombres
propios son un tipo especial de morfemas usados para designar nicamente
NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

14
objetos particulares. Los nombres propios ordinariamente no pueden ser
precedidos por un artculo o un adjetivo, o ser pluralizados. Tanto palabras, frases
y oraciones tienen sentido y pueden ser usados para referirse a algn objeto.


1.3.7. Pragmtica.

La pragmtica designa la relacin de los signos con sus intrpretes, es decir, los
que los producen o los reciben. As pues, podramos entender como pragmtica
aquel tipo de indagacin semitica en la que entra en juego la consideracin de
las relaciones entre los elementos de un lenguaje y los sujetos, o sea, los
individuos o comunidades lingsticas que emplean ese lenguaje como medio de
comunicacin. La pragmtica considera los signos a partir de las condiciones del
sujeto interpretante en su propia situacin ambiental; esto quiere decir que
comprende tambin los aspectos sociales de los signos.


1.3.8. USO Y MENCIN DE NOMBRES

Observemos con atencin las siguientes oraciones, donde en ambas aparece el
nombre Maracaibo:

1- Maracaibo es la capital del estado Zulia
2- Maracaibo tiene 9 letras

En la oracin 1 la palabra Maracaibo hace referencia a la ciudad de Venezuela
conocida con ese nombre, es decir, a su significado; dicha palabra est usada en
esta oracin; mientras que en la segunda se hace referencia a la palabra misma
sin tomar en cuenta su posible significado, o sea, Maracaibo es mencionada.

Con los signos del vocabulario lgico puede hacerse lo mismo que con los signos
de todos los vocabularios: usarlos o mencionarlos. En el primer caso, los signos
son nombres de las entidades que designan; en el segundo caso, los signos son
nombres de s mismos; as, cuando decimos: Pedro es abogado formulamos un
enunciado en el cual se atribuye una propiedad a una entidad, la entidad cuyo
nombre es Pedro. Decimos en tal caso que el signo Pedro es usado. En cambio, si
escribimos: Pedro tiene dos slabas, formulamos un enunciado en el cual se
atribuye una propiedad a un nombre, el nombre Pedro. Decimos en tal caso que el
signo Pedro es mencionado.

Para subrayar la distincin se suele escribir las expresiones mencionadas entre
comillas. Por lo que cuando escribimos Pedro tiene dos slabas, hablamos del
nombre Pedro y no de la entidad cuyo nombre es Pedro. La entidad en cuestin
no tiene dos slabas, pero su nombre s las tiene.

NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
15
La nocin de uso y mencin de expresiones est asociada a los conceptos de
metalenguaje y lenguaje-objeto. Un metalenguaje es un lenguaje que se utiliza
para hablar o teorizar sobre algn otro lenguaje. As por ejemplo, cuando
utilizamos el espaol para definir el lenguaje de la lgica de primer orden, el
espaol ser el metalenguaje utilizado para hablar del lenguaje de la lgica de
primer orden, y ste ltimo se llama el lenguaje-objeto en ese contexto.








































NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

16
1.4. LENGUAJES FORMALES

En matemticas, lgica y computacin un lenguaje formal es un conjunto de
palabras (cadenas de caracteres) de longitud finita formadas a partir de un
alfabeto (conjunto de caracteres) finito.

Informalmente, el trmino lenguaje formal se utiliza en muchos contextos (en las
ciencias, en derecho, etc.) para referirse a un modo de expresin ms cuidadoso y
preciso que el habla cotidiana.

Algunos ejemplos varios de lenguajes formales:

el conjunto de todas las palabras sobre {a, b}
el conjunto {a
n
: n es un nmero primo}
el conjunto de todos los programas sintcticamente vlidos en un determinado
lenguaje de programacin
el conjunto de entradas para las cuales una particular mquina de Turing se
detiene.

Los lenguajes formales pueden ser especificados en una amplia variedad de
maneras, como:

cadenas producidas por una gramtica formal (ver Jerarqua de Chomsky)
cadenas producidas por una expresin regular
cadenas aceptadas por un autmata, tal como una mquina de Turing.


1.4.1. SMBOLO, ALFABETO Y PALABRA

La nocin ms primitiva es la de smbolo, que es simplemente una representacin
distinguible de cualquier informacin. Un smbolo puede ser un carcter escrito,
como w, 9, #, etc., pero tambin puede ser un color, una figura especial, un
sonido, etc. Un smbolo es una entidad indivisible.

Un alfabeto es un conjunto no vaco de smbolos. As, el alfabeto del idioma
espaol, E = {a, b, c,... z}, es slo uno de tantos alfabetos posibles. En general
utilizaremos la notacin para representar un alfabeto.

En los lenguajes naturales se tienen como ejemplos los alfabetos: latino, cirlico y
rabe, entre otros. En los formales como la lgica se tiene el lxico del clculo
proposicional y de predicados.

Con los smbolos de un alfabeto es posible formar secuencias o cadenas de
caracteres, tales como mxzxptlk, balks, r, etc. Las cadenas de caracteres son
NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
17
llamadas tambin palabras. Un caso particular de cadena es la palabra vaca, ,
la cual no tiene ninguna letra.

La longitud de una palabra es la cantidad de smbolos que contiene, contando las
repeticiones; se denota por |w| para una palabra w. Por ejemplo, |perro| es 5.

Cuando escribimos varias palabras una a continuacin de otra, se supone que
forman una sola palabra (se concatenan). La notacin usada para denotar la
concatenacin de dos cadenas y es . Por ejemplo, si w = abra y v = cada,
entonces wvbra es la palabra abracadabra.

La concatenacin de palabras es asociativa, esto es, (xy)z = x(yz), pero no
conmutativa en el caso general. La longitud de una concatenacin cumple la
propiedad: |uv| = |u|+|v|.

Una palabra v es subcadena de otra w cuando existen cadenas x, y,
posiblemente vacas, tales que xvy = w. Por ejemplo, bora es subcadena de
vbora, y es subcadena de toda palabra.

El conjunto de todas las palabras que se pueden formar con un alfabeto es
denotado convencionalmente por *, y se denomina la cerradura de . Por
ejemplo, si = {a, b}, * = {, a, aa, aaa, aaaa, , b, bb, , ab, aba, abb, }.
En este caso, el conjunto * es infinito, pero enumerable. Un lenguaje cualquiera L
sera entonces un subconjunto de
*
.

En resumen, un lenguaje est formado por un conjunto de elementos simples,
llamados smbolos, que constituye un alfabeto. Por medio de la concatenacin
de smbolos formaremos palabras que tienen un significado (semntica) y que
constituyen el lxico del lenguaje, por ejemplo el Diccionario de la Real Academia
Espaola; y finalmente, las palabras colocadas segn una estructura regulada por
la sintaxis del lenguaje permiten formar oraciones y frases.














NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

18
NERIO VILLALOBOS FINOL
1.4.2. LA JERARQUA DE CHOMSKY

Llamamos clase de lenguajes a conjuntos de lenguajes que comparten una cierta
propiedad dada. Esta nocin es muy abstracta, pues ya los lenguajes son en s
mismos conjuntos de secuencias de smbolos, y las clases de lenguajes son
entonces conjuntos de conjuntos de secuencias de smbolos. La clasificacin de
lenguajes en clases de lenguajes es debida a Noam Chomsky, quien propuso
una jerarqua de lenguajes, donde las clases ms complejas incluyen a las ms
simples.
Llamamos clase de lenguajes a conjuntos de lenguajes que comparten una cierta
propiedad dada. Esta nocin es muy abstracta, pues ya los lenguajes son en s
mismos conjuntos de secuencias de smbolos, y las clases de lenguajes son
entonces conjuntos de conjuntos de secuencias de smbolos. La clasificacin de
lenguajes en clases de lenguajes es debida a Noam Chomsky, quien propuso
una jerarqua de lenguajes, donde las clases ms complejas incluyen a las ms
simples.

















Fig. 1. Jerarqua de Chomsky Fig. 1. Jerarqua de Chomsky


De las clases de lenguajes propuestas en la jerarqua de Chomsky, nosotros
estudiaremos las que aparecen en la figura 1, que son:
De las clases de lenguajes propuestas en la jerarqua de Chomsky, nosotros
estudiaremos las que aparecen en la figura 1, que son:

Los Lenguajes Regulares, que es la clase ms pequea, e incluye a los
lenguajes ms simples. Un ejemplo de lenguaje regular es el conjunto de
todos los nmero binarios.
Los Lenguajes Regulares, que es la clase ms pequea, e incluye a los
lenguajes ms simples. Un ejemplo de lenguaje regular es el conjunto de
todos los nmero binarios.

Los Lenguajes Libres de Contexto, que incluyen a los Lenguajes
Regulares. Por ejemplo, la mayora de los lenguajes de programacin son
Lenguajes Libres de Contexto.
Los Lenguajes Libres de Contexto, que incluyen a los Lenguajes
Regulares. Por ejemplo, la mayora de los lenguajes de programacin son
Lenguajes Libres de Contexto.

Los Lenguajes Recursivamente Enumerables, que incluyen a los Libres
de Contexto (y por lo tanto a los Lenguajes Regulares).
Los Lenguajes Recursivamente Enumerables, que incluyen a los Libres
de Contexto (y por lo tanto a los Lenguajes Regulares).





Lenguajes
Recursivamente
Enumerables
Lenguajes Libres de
Contexto
Lenguajes
Regulares
LENGUAJES

LGICA Y COMPUTACIN
19
1.4.3. OPERACIONES SOBRE LOS LENGUAJES FORMALES

Pueden aplicarse varias operaciones sobre lenguajes para producir nuevos
lenguajes, incluyendo aquellas relacionadas con la teora de conjuntos, dado que
un lenguaje es un conjunto. Pero primero veamos algunas definiciones:
La potencia de L, escrita como L
n
es el conjunto de todas las palabras de longitud
n de L sobre su alfabeto .
La estrella de L, escrito como L
*
consiste de todas aquellas palabras que pueden
ser escritas de la forma w
1
w
2
w
n
donde toda w
i
se encuentra en L y n 0.
(Ntese que esta definicin incluye a ). Esta operacin es llamada estrella de
Kleene o cerradura de Kleene, en honor al matemtico norteamericano S. C.
Kleene, quien la propuso. Ntese igualmente que L
*
es la unin de todas las L
n

para n 0. Ejemplo: sea L = {abra, cada, bra}, L* = {, abra, cada, bra, abracada,
abracadabra, abraabra, cadacada, brabra, abrabra, cadabra, bracada, ,.. }.

La concatenacin de L
1
y L
2
, escrita como L
1
L
2
, concatena cada palabra del
primero de ellos con cada una del segundo:

L
1
L
2
= { w | w = xy, (x L
1
) (y L
2
) }

Ejemplo: sean L
1
= {ca, ma} y L
2
= {nta, sa}, entonces la concatenacin L
1
L
2

sera {canta, casa, manta, masa}.

La unin de L
1
y L
2
, escrita como (L
1
| L
2
), consiste en todas aquellas palabras
que estn contenidas ya sea en L
1
o en L
2
, o en ambos:

L
1
| L2 = { w | (w L
1
) | (w L
2
) }

Ejemplo: sean L
1
= {abc, def, ghi, jkl} y L
2
= {def, ijk, jkl, xyz}, entonces la unin
L
1
|L
2
sera {abc, def, ghi, ijk, jkl, xyz}.

La interseccin de L
1
y L
2
, escrita como (L
1
& L
2
) consiste en todas aquellas
palabras que estn contenidas tanto en L
1
como en L
2
.

L
1
& L2 = { w | (w L
1
) & (w L
2
) }

Ejemplo: sean L
1
= {abc, def, ghi, jkl} y L
2
= {def, ijk, jkl, xyz}, entonces la
interseccin L1&L2 sera {def, jkl}.

La diferencia de L
1
y L
2
, escrita como (L
1
- L
2
) consiste en todas aquellas
palabras que estn contenidas en L
1
pero no en L
2
.

L
1
& L2 = { w | (w L
1
) & (w L
2
) }
NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

20
Ejemplo: sean L
1
= {abc, def, ghi, jkl} y L
2
= {def, ijk, jkl, xyz}, entonces la
interseccin L1&L2 sera {def, jkl}.

El complemento de L, escrito como ~L consiste en todas aquellas palabras
producibles sobre el alfabeto de L (conjunto universal o de referencia U) que no
estn contenidas en L. (Ver Cerradura de Kleene)

~L = { w | (w U) & (w L) }

Ejemplo: si U = {aa, bb, cc, dd, ee} y L = {aa, dd} entonces ~L = {cc, bb, ee}

El cociente de L
1
y L
2
, escrito como L
1
/ L
2
consiste de todas aquellas palabras
v para las cuales existe una palabra w en L
2
tales que vw se encuentra en L
1

(cociente por la izquierda), o wv se encuentra en L
1
(cociente por la derecha).

L
1
/ L
2
= { v | (w L
2
) & (vw L
1
) }

o L
1
/ L
2
= { v | (w L
2
) & (wv L
1
) }

Ejemplo: sean L
1
= {abfg, abmn, ijkl, mnpq, pqrs, tuxy} y L
2
= {kl, mn, xy} el
cociente por la izquierda L
1
/ L
2
sera {ab, ij, tu}.

El cociente de una palabra u entre un lenguaje L, escrito u / L consiste de
aquellas palabras w tales que uw L (a la izquierda) o wu L (derecha).

El producto de L
1
y L
2
, escrito L1 * L
1
consiste de todas aquellas palabras que
pueden ser escritas de la forma v
1
w
1
v
2
w
2
...v
n
w
n
y tales que la concatenacin
v
1
...v
n
est en L
1
, y la concatenacin w
1
...w
n
est en L
2


L
1
* L
2
= { v
1
w
1
v
2
w
2
...v
n
w
n
| (v
1
...v
n
L
2
) & (w
1
...w
n
L
1
) }

Ejemplo: sean L
1
= {ab, cd} y L
2
= {mn, pq} el producto L
1
* L
2
sera
{abmn, abpq, cdmn, cdpq, abmncdmn, abpqcdpq}.


1.4.4. Frmulas Bien Formadas

Los lenguajes incorporan mecanismos para establecer su sintaxis, o sea, la
construccin correcta de las expresiones empleadas, y la combinacin de las
mismas en otras expresiones correctas denominadas frmulas bien-formadas, fbf.
Al mecanismo que se ocupa de establecer y verificar la sintaxis se le conoce como
clculo. Al igual que otras reas o disciplinas del conocimiento, en la lgica
tambin se puede establecer un clculo, al que se denominar clculo
proposicional para la lgica proposicional o clculo de primer orden para la lgica
de predicados.
NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
21
1.5. SISTEMAS LGICOS FORMALES

Un sistema lgico es un cuerpo terico el cual consiste en un conjunto de
esquemas lgicos, algunos de los cuales se representan como bsicos y los
dems como derivados, que se toman como criterios de validez de determinado
tipo de argumentos.

Un sistema formal S est formado por dos componentes: un lenguaje formal L y un
mecanismo deductivo D. Es decir, podemos representar un sistema formal S
diciendo que S = {L, D}.

Un lenguaje formal L se identifica mediante el conjunto de sus frmulas bien
formadas (fbf). Por lo tanto, si dos lenguajes L y L tienen el mismo conjunto de
fbfs es que son el mismo lenguaje, L = L. El conjunto de fbfs de un lenguaje formal
L se determina convencionalmente por el creador del lenguaje. Para ello el
lenguaje formal L se especifica mediante:

Un conjunto finito de smbolos primitivos. Este conjunto se denomina el
alfabeto de L;

Un conjunto de reglas de formacin, las cuales determinan qu secuencias de
expresiones del vocabulario primitivo son fbfs.

Para que un lenguaje sea formal ambos conjuntos han de poder definirse sin
recurrir a ninguna indicacin de ndole semntica.

El mecanismo deductivo D de un sistema formal S suele venir dado por dos tipos
de componentes, a saber:

El establecimiento por convencin de que ciertas fbfs de L juegan el papel de
axiomas de S, que se toman como postulados de partida indiscutibles en un
sistema formal.

El establecimiento por convencin de un conjunto de reglas de
transformacin que permiten pasar de fbfs de L a otra fbf de L en S.

Tambin el mecanismo deductivo de un sistema formal ha de poderse definir sin
recurrir a ningn elemento de tipo semntico. Podemos entonces diferenciar entre
dos tipos de sistemas lgico-formales:

Aquellos cuyo mecanismo deductivo se especifica mediante axiomas y reglas
de transformacin, que denominamos sistemas axiomticos. En stos
prevalecen las leyes lgicas, es decir frmulas bien formadas del lenguaje
formal en cuestin que o son axiomas o son deducibles en ese sistema a partir
de los axiomas mediante las reglas de transformacin de dicho sistema. Los
NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

22
axiomas son los primeros postulados, o primeras leyes lgicas, indiscutibles
del sistema. Las leyes lgicas deducibles reciben el nombre de Teoremas.

Aquellos cuyo mecanismo deductivo se especifica exclusivamente mediante
reglas de transformacin, que denominamos sistemas de deduccin natural.
En estos sistemas se prescinde de axiomas. El mecanismo deductivo est
dado exclusivamente por un conjunto de reglas bsicas de transformacin.
Estas reglas bsicas se clasifican en reglas de introduccin y de eliminacin,
de manera tal que habitualmente para cada constante lgica bsica hay una
regla de introduccin y una de eliminacin.

Ejemplos:

i. El lenguaje Q se define de la siguiente forma:

Alfabeto: *, #.
Reglas de formacin:
1. * es una fbf de Q.
2. Si A es una fbf de Q, entonces A# es una fbf de Q.
3. Las nicas fbfs de Q son las obtenidas mediante aplicacin de las reglas
de formacin 1 y 2.

ii. El lenguaje X se define de la siguiente forma:

Alfabeto: @. . . , {, }
Reglas de formacin:
1. Toda cadena finita de smbolos del alfabeto de X que incluya los smbolos
. del alfabeto es una fbf de X.
2. Las nicas fbfs de X son las obtenidas mediante aplicacin de la regla de
formacin 1.

iii. El lenguaje Y se define de la siguiente forma:

Alfabeto: , , #.
Reglas de formacin:
1. Toda cadena finita de smbolos del alfabeto de Y que d lugar a una fbf
del lenguaje X (del anterior ejercicio) es una fbf de Y.
2. Las nicas fbfs de Y son las obtenidas mediante aplicacin de la regla de
formacin 1.

iv. Sea E el lenguaje definido de la siguiente forma:
Alfabeto: el

cirlico.
Reglas de formacin:
1. Todas las palabras del ruso son fbfs del lenguaje E.
NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
23
2. Las nicas fbfs de E son las obtenidas mediante aplicacin de la regla de
formacin 1.


vi. Sea Z el sistema definido de la siguiente forma:

Alfabeto: , .
Reglas de formacin:

1. Toda cadena finita de smbolos del alfabeto de Z que comience por es
una fbf de Z.
2. Las nicas fbfs de Z son las obtenidas mediante aplicacin de la regla de
formacin 1.
Axioma: .

Reglas de transformacin:
Sean A y B fbfs de Z (eventualmente secuencias vacas de smbolos), los
superndices indicarn el nmero de ocurrencias del smbolo en cuestin
(
2
= ), n es cualquier nmero impar y m es cualquier nmero par (se
excluye el 0).

B
n
_______

m
A

3. Las nicas transformaciones aceptables de Z son las obtenidas mediante
aplicacin de la regla de transformacin 1


















NERIO VILLALOBOS FINOL


LENGUAJES FORMALES

24
EJERCICIOS:

1. En las siguientes oraciones indique si las palabras subrayadas estn usadas
(u) o mencionadas (m).

a. Maracaibo es el nombre de Maracaibo

b. Mrida es la capital de Mrida

c. Julio cumple aos en Julio

d. Siempre siempre tiene siete letras

e. Bello y Vello se pronuncian igual

f. El vello de Bello no es bello

g. A Rafael lo llaman Rafito, y Chucho es su hermano

h. Hipdromo viene de hipos que significa caballo y dromos que quiere decir pista

i. En Guadalajara la nica vocal es la a

j. Barrancabermeja no es muy grande

k. Ramiro no sabe que Ramrez significa hijo de Ramiro
l. Maracaibo tiene ms letras que Caracas

m. Cuando salgo de casa para ir de caza pronuncio igual casa y caza

n. Lgica es esdrjula

o. En el Palacio de Justicia est escrito Palacio de Justicia

p. Me dijo Rodrguez que, en portugus, Rodrguez es Rodrigues

q. Barrancabermeja es muy larga
r. Cuando digo digo qu digo de digo
s. Superman tiene en el pecho la S de Superman y el Zorro la Z de Zorro
t. Al hacer gimnasia, no confundas gimnasia con magnesia

NERIO VILLALOBOS FINOL

LGICA Y COMPUTACIN
NERIO VILLALOBOS FINOL

25
2. En los siguientes dilogos indique si las expresiones subrayadas estn usadas
o mencionadas.

a.
- Yo analizo todos los problemas con mapas mentales

- Primero explcame qu quieres decir con mapas mentales

b.
- Levntate ya se utiliza para hacer una peticin o para emitir una orden

- Levntate ya sino llegars tarde


c.

- Es una novela indita de ese escritor

- Qu es eso de indita

- Indita quiere decir que no ha sido editada


3. Decir en cada uno de los siguientes casos si el enunciado La Tierra est en
peligro est usado o mencionado:

a. La Tierra est en peligro, de eso no hay dudas

b. La Tierra est en peligro expresa una proposicin verdadera

c. La Tierra est en peligro es un buen eslogan para concientizar a la gente

d. En este libro aparece La Tierra est en peligro ms de 20 veces

e. Debido al recalentamiento global la Tierra est en peligro

f. Has dicho la Tierra est en peligro?

g. No s por qu t dices que la Tierra est en peligro

h. Estoy cansado de or que la Tierra est en peligro y nadie haga nada

i. Yo estaba ah cuando dijiste la Tierra est en peligro