Bienvenidos…..

en este vídeo vamos a hablar un poco sobre él porque surge la teoría de

la computación, básicamente los problemas a los que se enfrentan los matemáticos a
finales del siglo XVIII son los de qué cosas son ciertas y qué cosas no son ciertas en
matemáticas, empieza con la formalización de todos los conocimientos que se tenían
hasta el momento, uno de sus conocimientos será la geometría euclidiana hubo que
axiomatizarla, hubo que generar bien sus teoremas y escribirla con una teoría donde uno
pudiese siempre decidir que era cierto y no, luego tenemos la lógica simbólica y aunque
también proviene los griegos desde la lógica aristotélica todo este conocimiento se
reformula de nuevo y nace toda la corriente de teoría de conjuntos, nace la corriente de
álgebras de boole, nacen todas estas ramas que son muy parecidas entre ellas con un
formalismo bien bien bien preciso el problema se nos viene cuando encontramos en la
teoría de conjuntos, un problema y es el siguiente que es un conjunto, un conjunto es una
colección de objetos que cumplen cierta propiedad, cuando Frege que era la persona
encargada de formalizar todo este conocimiento está terminando su segunda edición del
texto, recibe una carta de Bertrand Russell en la que le pregunta si cierto conjunto era o
no, la cuestión es que eso generó paradojas increíbles porque era imposible decidir si era
conjunto o no era conjunto eso se va a conocer más tarde como la paradoja del barbero
ahora como para entender un poco el qué cosas no se pueden decidir vamos a observar
la siguiente frase.

“Esta oración es falsa”

Uno puede empezar a preguntarse de forma natural si en nuestro lenguaje cotidiano

estamos diciendo la verdad o estamos diciendo una mentira. Resulta ser que sí la oración
es falsa entonces ella miente por tanto tiene que ser verdadera pero justo ya había dicho
que era falsa, si lo cambiamos y suponemos que es verdadera entonces ella dice la
verdad, pero justo estaba afirmando que es falsa, por tanto es verdadera y falsa al mismo
tiempo, de cualquier modo uno no puede decidir si esta frase es cierta o no.

A este tipo de problemas se han encontrado los matemáticos en algo que se llamó la
crisis de los fundamentos, naturalmente empiezan a surgir las preguntas como las
matemáticas son consistentes, eso significa que si tenés una fórmula “fi” y su negación, la
pregunta si al menos una de ellas pertenece al área de las matemáticas luego tenés son
completas esto significa que sí “fi” y no “fi” son fórmulas la pregunta es al menos
exactamente una de ellas es cierta y luego se nos viene una serie de problemas que se
llaman los problemas decidibles. Los problemas decidibles son aquellos para los cuales
dado el problema la pregunta es, existe un método a través del cual uno pueda decidir si
el problema es soluble o no, para entender esto mejor habría que remontarnos un poco a
la lógica simbólica, si yo les doy una proposición compuesta con preposiciones y
conectores lógicos ustedes pueden simplemente ir calcular su tabla de verdad y
eventualmente poder decidir todos los valores de verdad para esta proposición entonces
hay un método preciso que te permite decidir el estado de la fórmula si es cierto o no,
entonces se nos abren las tres grandes preguntas: son consistentes, son completas y son
decidibles las matemáticas? listo la cuestión se nos viene fea, porque no son
inconsistentes ni tampoco son completas y en el campo de la decidibilidad es donde
empiezan a aparecer los problemas siguientes, para que problemas existe un algoritmo
que lo resuelva y es ahí donde empezamos entrar en el campo de lo que hoy vamos a
conocer como la computación teórica en adelante los invito a realizar la actividad práctica.

Para que puedan evaluar si lo que han construido está correcto a continuación verán en
pantalla algunas de las sentencias ubicadas de manera correcta, si esto no es así les pido
favor revisar de nuevo sus conceptos.
Bienvenidos… seguidamente vamos a tratar de entender cuál es la relación entre
lenguaje regulares, expresiones regulares, autómatas finitos y gramaticas regulares, para
distinguir el porqué estás tipo de relaciones se buscan en matemáticas uno tendría que
tirar o hacer memoria hacia atrás y ver cómo se razona, si uno recuerda el viejo problema
griego de encontrar una recta tangente a una curva se termina resolviendo hacia 1600
1700 encontrando a través de la derivada la ecuación de esa recta, el viejo problema
griego de resolver cuál es el área de una región también se traduce a un problema
estrictamente analítico que se resuelve con la integral y es muy parecido al de la derivada,
entonces uno traduce un problema que es estrictamente geométrico en otro problema que
es estrictamente analítico, esa forma de pensar en matemáticas es demasiado habitual,
un ejemplo quizás mucho más moderno es que cuando uno piensa en lógica simbólica,
teoría de conjuntos, álgebra booleana y compuertas lógicas, esencialmente está viendo la
misma teoría pero en cuatro versiones distintas, entonces estructuralmente la forma de
pensar no es que cambie simplemente cambia la forma en como lo expresamos, a nivel
de lenguaje regulares expresiones regulares autómatas finitos y gramáticas regulares
entonces también tenemos relaciones de ese estilo, el lenguaje es algo estrictamente
teórico, el autómata finito es algo estrictamente físico, por otro lado las expresiones
regulares son cuestiones del metalenguaje está en un nivel mucho más arriba, las
gramaticas regulares son propias del lenguaje son niveles de pensamiento distintos y la
pregunta naturales como vemos el uno reflejado en el otro, las respuesta integra a este
interrogante no se hace esperar simplemente una gramática regular va a describir un
lenguaje regular y un autómata finito va a ejecutar las expresiones regulares de esta
forma entonces se nos permite hacer un puente entre lo que es un autómata finito y una
gramática regular, es decir, podemos traducir problemas estructuralmente teóricos de
gramaticas regulares a problemas o a máquinas esencialmente físicas de autómatas
finitos, observamos en este momento una gramática regular esa gramatica regular la
podemos dibujar a través del gráfico que ahora deben estar viendo.
en ese gráfico expresamos como la gramática compone las nuevas palabras, luego en la
siguiente imagen tenemos el cómo se compone una palabra completa, aunque la anterior
era paso a paso está dice todo el ciclo completo de construcción.

y finalmente todo eso lo podemos traducir a un autómata finito como el que ven en
pantalla
en el cual ya podemos observar que hay celdas donde se están guardando en la memoria
los estados q0 el inicial hasta q3 un estado final de esa forma entonces podemos traducir
una gramática regular a un autómata finito, estaría bueno si ustedes pueden realizar el
ejercicio inverso, pensar desde el autómata finito recuperar la gramática regular; ahora los
invito a realizar la actividad práctica.

En pantalla ustedes están viendo en este momento una línea correcta de cómo ordenar la
información que les han pedido organizar, particularmente, lenguajes recursivamente
numerables que son teóricos, se asocian con el de máquinas a máquinas de turing y los
problemas que se resuelven todos computables.
Bienvenidos… ahora vamos a analizar algunas de las propiedades principales de los
lenguajes regulares, unos piensan en un lenguaje como simplemente un conjunto, simple
y llanamente como un conjunto, ese conjunto que contiene, contiene frases generadas
bajo alguna regla gramatical y esas frases son nuestros elementos principales entonces
como tenemos un conjunto puede empezar a relacionarse con otros conjuntos de la
misma naturaleza si tenemos un lenguaje regular L y un lenguaje regular L’ la pregunta
natural pues cuál es la relación entre ellos, tienen palabras en común, uno es el
complemento del otro y muchas de estas preguntas surgen porque están todas válidas
dentro de la teoría conjuntos, si yo tengo un lenguaje regular L y uno con todas las
palabras de un lenguaje regular L’, siempre que tengamos el mismo alfabeto, uno obtiene
de nuevo lenguaje regular, las reglas que van a dirigir a este lenguaje regular va a ser la
unión de las reglas que los dirigen a ambos, también podemos interceptarlos si uno
observa en el lenguaje común y corriente uno tiene palabras que comparte con otros
idiomas, pero, son palabras nuestras los extranjerismos por ejemplo son ejemplos de
ellos, así que si un intercepta el idioma español con el idioma inglés por ejemplo, va a
encontrar muchas palabras en común, así, de esta misma manera, uno puede intersecar
también lenguajes regulares y encontrar todas las palabras que tienen en común, otra
operación que podemos hacer entre lenguajes regulares es el complemento acá hay que
tener mucho cuidado porque complemento se toma sobre el conjunto de todas las
palabras posibles que se pueden formar con el alfabeto que tenemos originalmente, o sea
no puedo comparar un lenguaje regular y su complemento si necesito un alfabeto externo,
no, deben ser con el alfabeto que originalmente tenemos. Otra las operaciones más
curiosas que hay es el lenguaje regular elevado a la R o 𝐿𝑅 , este lenguaje consiste de
todas aquellas palabras que cuando las lees al revés también son palabras del lenguaje
que tenía, un ejemplo en el idioma español son los palíndromos, los palíndromos tienen
esa particularidad si uno lee una palabra de izquierda a derecha al leerla de derecha
izquierda también es la misma palabra, así que los palíndromos si cumplen la propiedad
de estar en L y en 𝐿𝑅 , si se toma 𝐿𝑅 y de nuevo se le toma a la r volvemos a caer al
lenguaje original es una propiedad muy parecida al complemento, otra de las propiedades
que se tienen cuando uno tiene dos lenguajes es la propiedad de concatenación que
simplemente consiste en tomar una palabra de un lenguaje y pegar la otra de otro
lenguaje en los códigos de barra por ejemplo muchos provienen de concatenaciones uno
ve un poco de numeritos numeritos numeritos y al final ve ciertas letras, bueno esos
números y esas letras provienen de una concatenación, es posible que cada uno de ellos
tengo una información totalmente distinta pero la forma de construirlo es una
concatenación. Por ultimo también uno puede empezar a estudiar qué pasa con las
funciones que van de un lenguaje a otro, las principales que no estudias son los
homomorfismos porque los homorfismos preservan las estructuras de los lenguajes, les
invitaría a mirar bien de fondo este concepto es muy hermoso porque justo es un
invariante dentro de las teorías de los lenguajes. Los invito ahora a realizar la actividad
práctica.

Para que puedan evaluar lo que han hecho pueden ver las siguientes dos sentencias que
están bien bien ubicadas dentro de la tabla que deben llenar
Bienvenidos a este video en el cual vamos a revisar un poco uno de los grandes
problemas que se tienen en los lenguajes regulares y es justamente el de ambigüedades
para entender un poco el concepto de ambigüedades basta revisar dos o tres palabras
como “vela” cuando uno simplemente escribe vela puede estar diciendo muchísimas
cosas al mismo tiempo y una máquina no podría reconocer cuál es el sentido original de
la expresión vela puede estar pensando en una vela que encender, puedes estar
pensando en una vela de un barco, también puedes estar pensando en la vela de que has
pasado en vela toda una noche este tipo de problemas es grandísimo no solamente
aparecen en lenguaje común observemos en pantalla la expresión que se les presenta
48/2 (9 + 3), es una expresión muy curiosa porque tiene dos o tres resultados distintos
dependiendo cómo se entienda el orden de las operaciones, eso es un ejemplo de
ambigüedad, observemos los siguientes síntomas el 48 y lo dividís entre 2 * 9 + 3 La
respuesta es dos,

pero si primero haces la operación 48 diodos y luego lo multiplicas por 9 + 3 la respuesta

288
y ese tipo de expresiones son ambiguas a la hora de revisar los lenguajes, entonces lo
que uno primero desearía de un lenguaje es que esto desaparezca totalmente no
podemos tener ambigüedades porque puede generar resultados incorrectos, ahora bien lo
que vamos a desear esencialmente cada vez que tenemos un lenguaje es que no existan
ambigüedades si existe una sola ambigüedad ya directamente todo lenguaje se va a decir
ambiguo. Pero tenemos los casos muy particulares, una vez que determinen todas las
ambigüedades yo las puedo sacar y el nuevo lenguaje que me queda es un lenguaje sin
ambigüedades es un lenguaje lindo es un lenguaje que no tiene este problema de las
dobles interpretaciones a ese lenguaje es el que nosotros llamamos libre de contexto, lo
peor que nos puede llegar a pasar es que justamente no podamos decidir cuáles son
todas las ambigüedades del sistema y en ese caso el lenguaje es imposible hacerlo lindo,
siempre vamos a tener que cargar con este tipo de problemas de los ambiguos, entonces
a ese lenguaje es el que se le va a llamar inherentemente ambiguo es imposible
resolverle las ambigüedades; una de las ambigüedades que por ejemplo siempre
confunde al estudiante es la del 0 factorial cuando uno le definen el factorial es el
producto de todos los números hasta el 1 y el 0 factorial sería como que todos los
productos hasta el 0 y no no logras entender de primera cuánto da 0 factorial pero sin
embargo cuando ya uno le definen como 0 factorial igual a 1 ya se desaparece la
ambigüedad y todo el factorial queda muy bien definido.