{"id":16161,"date":"2022-07-16T19:01:12","date_gmt":"2022-07-16T19:01:12","guid":{"rendered":"https:\/\/blogs.ugto.mx\/rea\/?p=16161"},"modified":"2022-09-24T02:55:30","modified_gmt":"2022-09-24T02:55:30","slug":"clase-digital-5-analisis-lexico-teoria-de-los-lenguajes","status":"publish","type":"post","link":"https:\/\/blogs.ugto.mx\/rea\/clase-digital-5-analisis-lexico-teoria-de-los-lenguajes\/","title":{"rendered":"Clase digital 5. An\u00e1lisis l\u00e9xico: Teor\u00eda de los lenguajes"},"content":{"rendered":"\n\n\n<div class=\"wp-block-cover\" style=\"min-height:284px;aspect-ratio:unset;\"><span aria-hidden=\"true\" class=\"wp-block-cover__background has-background-dim-40 has-background-dim\"><\/span><img decoding=\"async\" class=\"wp-block-cover__image-background wp-image-18013\" alt=\"purple and white light digital wallpaper\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/wrknqmhmdvy.jpg\" style=\"object-position:37% 38%\" data-object-fit=\"cover\" data-object-position=\"37% 38%\" \/><noscript><img loading=\"lazy\" decoding=\"async\" width=\"1600\" height=\"1067\" class=\"wp-block-cover__image-background wp-image-18013\" alt=\"purple and white light digital wallpaper\" src=\"https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/wrknqmhmdvy.jpg\" style=\"object-position:37% 38%\" data-object-fit=\"cover\" data-object-position=\"37% 38%\" srcset=\"https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/wrknqmhmdvy.jpg 1600w, https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/wrknqmhmdvy-300x200.jpg 300w, https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/wrknqmhmdvy-1024x683.jpg 1024w, https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/wrknqmhmdvy-768x512.jpg 768w, https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/wrknqmhmdvy-1536x1024.jpg 1536w, https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/wrknqmhmdvy-272x182.jpg 272w\" sizes=\"auto, (max-width: 1600px) 100vw, 1600px\" \/><\/noscript><div class=\"wp-block-cover__inner-container is-layout-flow wp-block-cover-is-layout-flow\">\n<p class=\"has-text-align-center has-base-3-color has-text-color has-large-font-size wp-block-paragraph\">An\u00e1lisis l\u00e9xico: Teor\u00eda de los lenguajes<\/p>\n<\/div><\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"introduccion\">Introducci\u00f3n<\/h2>\n\n\n\n<p class=\"wp-block-paragraph\">\u00a1Hola!<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Es un gusto encontrarte nuevamente, espero que est\u00e9s aprendiendo mucho, sobre todo, que tu \u00e1nimo no decaiga y sigas conociendo m\u00e1s acerca de los temas que se te presentan.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">En esta sesi\u00f3n aprenderemos sobre la teor\u00eda de los lenguajes formales. Veremos sobre antecedentes y la teor\u00eda de los lenguajes formales.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Un lenguaje se define como un conjunto de cadenas escritas en un alfabeto dado. Para poder formar ese conjunto de cadenas, se definieron operaciones con cadenas y lenguajes.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Las operaciones con cadenas y lenguajes tienen relaci\u00f3n con las expresiones regulares. De hecho, \u00e9stas \u00faltimas se propusieron para especificar conjuntos regulares y lenguajes formales.&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Una de las limitaciones de las expresiones regulares es que no pueden usarse para describir lenguajes no regulares o conjuntos no regulares.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Una vez que conozcas la teor\u00eda de los lenguajes comprender\u00e1s mejor la teor\u00eda que est\u00e1 detr\u00e1s de las expresiones regulares y su relaci\u00f3n con la teor\u00eda de los aut\u00f3matas de estado finito.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Los lenguajes independientes de contexto constituyen la base te\u00f3rica de la estructura de frases de la mayor\u00eda de los lenguajes de programaci\u00f3n. De hecho, seg\u00fan la jerarqu\u00eda de Chomsky, los lenguajes regulares son un subconjunto de los lenguajes independientes de contexto.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">El campo de la teor\u00eda de los lenguajes formales estudia principalmente aspectos puramente sint\u00e1cticos de tales lenguajes, es decir, sus patrones estructurales internos. La teor\u00eda de los lenguajes formales surgi\u00f3 de la ling\u00fc\u00edstica, como una manera de comprender las regularidades sint\u00e1cticas de los lenguajes naturales. En ciencias computacionales, los lenguajes formales se utilizan entre otras cosas como base para definir la gram\u00e1tica de los lenguajes de programaci\u00f3n.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">En conclusi\u00f3n, la teor\u00eda de los lenguajes formales es un \u00e1rea importante de ling\u00fc\u00edstica y ciencias computacionales. Por lo que, para el ingeniero en sistemas computacionales es muy importante conocer sobre teor\u00eda de los lenguajes formales y en general sobre la teor\u00eda de los lenguajes de programaci\u00f3n.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Prosigamos con energ\u00eda. Vamos.&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">\u00a1Mucho \u00e9xito!<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"desarrollo-del-tema\">Desarrollo del tema <\/h2>\n\n\n\n<h3 class=\"wp-block-heading\">Lenguaje formal:<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">Un lenguaje formal se define como un conjunto de cadenas escritas en un alfabeto dado.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">La sintaxis del lenguaje restringe el conjunto de cadenas a aqu\u00e9llas que satisfacen ciertas propiedades.<br>Un alfabeto (o clase de car\u00e1cter) se define como cualquier conjunto finito de s\u00edmbolos o caracteres.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Una cadena escrita en un alfabeto dado se define como una secuencia finita de caracteres tomados de ese alfabeto.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">La longitud de una cadena s se define como |s|.&nbsp;<br>La cadena vac\u00eda es un caso especial de cadena cuya longitud es cero.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Las operaciones que se pueden efectuar con cadenas son:<\/p>\n\n\n\n<ul class=\"wp-block-list\"><li>Concatenaci\u00f3n<br>Dos cadenas se pueden concatenar para formar una cadena m\u00e1s larga.<br>s \u03b5 = \u03b5s = s<br>x=\u201cDog\u201d y=\u201cHouse\u201d =&gt; xy = \u201cDogHouse\u201d<\/li><\/ul>\n\n\n\n<ul class=\"wp-block-list\"><li>Exponenciaci\u00f3n<br>Una cadena se puede concatenar con ella misma cualquier n\u00famero de veces.<br>s<sup>i<\/sup> =s<sup>i-1<\/sup> s (s<sup>0<\/sup>=\u03b5)<\/li><\/ul>\n\n\n\n<h3 class=\"wp-block-heading\">Operaciones con Lenguajes:<\/h3>\n\n\n\n<ul class=\"wp-block-list\"><li>Uni\u00f3n<br>Dos lenguajes se pueden unir para formar lenguajes m\u00e1s grandes.<br>LUM = {s | s est\u00e1 en L o s est\u00e1 en M}<\/li><\/ul>\n\n\n\n<ul class=\"wp-block-list\"><li>Concatenaci\u00f3n<br>Las cadenas de dos lenguajes se pueden concatenar para formar un lenguaje m\u00e1s grande con palabras m\u00e1s largas.<br>LM = {st | s est\u00e1 en L y t est\u00e1 en M}<\/li><\/ul>\n\n\n\n<ul class=\"wp-block-list\"><li>Cerradura de Kleene<br>Las cadenas de un lenguaje se pueden concatenar de un n\u00famero infinito de maneras para formar cadenas de muchas longitudes y lenguajes muy grandes.<br>Tambi\u00e9n se puede definir como la repetici\u00f3n de cero o m\u00e1s cadenas de un lenguaje.<br>Se representa como&nbsp;<em>L<\/em><sup>*<\/sup>= uni\u00f3n de <em>L<\/em><sup>i<\/sup> (i = 0 \u2026 infinito) = Union(L<sup>0<\/sup>, L<sup>1<\/sup>, L<sup>2<\/sup>,\u2026)<br>donde<br>L<sup>0<\/sup> = {\u03b5},&nbsp;<br>L<sup>i<\/sup> = L<sup>i-1<\/sup> L<br>Por ejemplo:<br>L={\u201cif\u201d, \u201cwhile\u201d}<br>L<sup>2<\/sup>= {\u201cifif\u201d,\u201difwhile\u201d, \u201cwhileif\u201d, \u201cwhilewhile\u201d}<ul><li>L* = {\u03b5, \u201cif\u201d, \u201cwhile\u201d, \u201cifif\u201d,\u201difwhile\u201d, \u201cwhileif\u201d, \u201cwhilewhile\u201d,\u2026}<br><\/li><\/ul><\/li><li>Cerradura positiva<br>Es igual a la cerradura de Kleene excepto que no contiene la cadena nula.<br>Se define como repetici\u00f3n de una o m\u00e1s cadenas de un lenguaje.<br>Se representa como L<sup>+<\/sup> = uni\u00f3n de L<sup>i<\/sup> (i = 1 \u2026 infinito)<br>Por ejemplo para el lenguaje L={\u201cif\u201d, \u201cwhile\u201d} tenemos<ul><li>L<sup>+<\/sup> = {\u201cif\u201d, \u201cwhile\u201d, \u201cifif\u201d,\u201difwhile\u201d, \u201cwhileif\u201d, \u201cwhilewhile\u201d,\u2026}<\/li><\/ul><\/li><\/ul>\n\n\n\n<p class=\"wp-block-paragraph\">Usando las operaciones con lenguajes es posible especificar muchos lenguajes diferentes o sublenguajes. Por ejemplo, el conjunto de todas las cadenas de letras min\u00fasculas y d\u00edgitos que empiezan con una letra se puede obtener por medio de:&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">L(L D)*. Donde D es el conjunto de d\u00edgitos y L es el conjunto de letras min\u00fasculas.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Las operaciones con cadenas y lenguajes tienen relaci\u00f3n con las expresiones regulares.&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">El matem\u00e1tico Stephen C. Kleene formul\u00f3 en 1956 la segunda parte del teorema de Kleene. Este dice que un lenguaje es racional (es decir, es descrito por una expresi\u00f3n regular) si y s\u00f3lo si es reconocido por un aut\u00f3mata finito. De hecho, Kleene propuso las expresiones regulares para describir lenguajes formales o conjuntos regulares.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Por lo tanto, las operaciones con cadenas y lenguajes descritos se puede decir que forman conjuntos de cadenas o lenguajes regulares.<\/p>\n\n\n\n<div class=\"wp-block-columns has-base-3-background-color has-background is-layout-flex wp-container-core-columns-is-layout-8f761849 wp-block-columns-is-layout-flex\">\n<div class=\"wp-block-column is-layout-flow wp-block-column-is-layout-flow\"><div class=\"wp-block-image is-style-default\">\n<figure class=\"aligncenter size-large\"><img decoding=\"async\" src=\"data:image\/gif;base64,R0lGODlhAQABAIAAAAAAAP\/\/\/yH5BAEAAAAALAAAAAABAAEAAAIBRAA7\" data-src=\"https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/Captura-de-Pantalla-2022-08-17-a-las-9.26.58-1024x604.png\" alt=\"\" class=\"wp-image-18047\" \/><noscript><img loading=\"lazy\" decoding=\"async\" width=\"1024\" height=\"604\" src=\"https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/Captura-de-Pantalla-2022-08-17-a-las-9.26.58-1024x604.png\" alt=\"\" class=\"wp-image-18047\" srcset=\"https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/Captura-de-Pantalla-2022-08-17-a-las-9.26.58-1024x604.png 1024w, https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/Captura-de-Pantalla-2022-08-17-a-las-9.26.58-300x177.png 300w, https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/Captura-de-Pantalla-2022-08-17-a-las-9.26.58-768x453.png 768w, https:\/\/blogs.ugto.mx\/rea\/wp-content\/uploads\/sites\/71\/2022\/08\/Captura-de-Pantalla-2022-08-17-a-las-9.26.58.png 1182w\" sizes=\"auto, (max-width: 1024px) 100vw, 1024px\" \/><\/noscript><\/figure>\n<\/div><\/div>\n\n\n\n<div class=\"wp-block-column is-vertically-aligned-center is-layout-flow wp-block-column-is-layout-flow\">\n<p class=\"wp-block-paragraph\">La jerarqu\u00eda de Chomsky define qu\u00e9 tan complejo es un tipo de lenguaje. De acuerdo con \u00e9sta, los lenguajes regulares son los lenguajes m\u00e1s simples. Enseguida tenemos que los lenguajes libres de contexto son m\u00e1s complejos que los lenguajes regulares.<\/p>\n<\/div>\n<\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"conclusion\">Conclusi\u00f3n<\/h2>\n\n\n\n<ol class=\"wp-block-list\"><li>Un lenguaje formal se define como un conjunto de cadenas escritas en un alfabeto dado.<\/li><li>Un alfabeto (o clase de car\u00e1cter) se define como cualquier conjunto finito de s\u00edmbolos o caracteres.<\/li><li>Una cadena escrita en un alfabeto dado se define como una secuencia finita de caracteres tomados de ese alfabeto.<\/li><li>Las operaciones que se pueden efectuar con cadenas son:<br>a) Concatenaci\u00f3n<br>Dados dos cadenas s y t, a concatenaci\u00f3n de s y t est\u00e1 dada por:<br>st<br>b) Exponenciaci\u00f3n<br>Dada una cadena s, la exponenciaci\u00f3n de s est\u00e1 dada por:<br>s<sup>i<\/sup> = s<sup>i-1<\/sup>s&nbsp;<br>con s<sup>0 <\/sup>= \u03b5, la cadena nula.<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\" start=\"5\"><li>Las operaciones que se pueden efectuar con lenguajes son:&nbsp;<br><br><strong>a) Uni\u00f3n,&nbsp;<\/strong><br>Dados dos lenguajes L y M, la uni\u00f3n de L y M est\u00e1 dada por&nbsp;<br>            LUM = {s | s est\u00e1 en L o s est\u00e1 en M}<br><br><strong>b) Concatenaci\u00f3n,<\/strong>&nbsp;<br>Dados dos lenguajes L y M, la concatenaci\u00f3n de L y M est\u00e1 dada por<br>             LM = {st | s est\u00e1 en L y t est\u00e1 en M}<br><br><strong>c) Cerradura de Kleene y&nbsp;<\/strong><br>Dado un lenguaje L, la cerradura de Kleene de L est\u00e1 dada por<br>              L* = Union(L<sup>0<\/sup>, L<sup>1<\/sup>, L<sup>2<\/sup>,\u2026)<br><br><strong>d) Cerradura positiva<\/strong><br>Dado un lenguaje L, la cerradura positiva de L est\u00e1 dada por<br>               L<sup>+<\/sup> = Union(L<sup>1<\/sup>, L<sup>2<\/sup>, L<sup>3<\/sup>,\u2026)<\/li><\/ol>\n\n\n\n<ol class=\"wp-block-list\" start=\"6\"><li>Las operaciones con cadenas y lenguajes tienen relaci\u00f3n con las expresiones regulares.<\/li><li>Kleene propuso las expresiones regulares para describir lenguajes formales o conjuntos regulares.<\/li><li>Las operaciones con cadenas y lenguajes forman conjuntos de cadenas o lenguajes regulares.<\/li><li>La jerarqu\u00eda de Chomsky define qu\u00e9 tan complejo es un tipo de lenguaje. De acuerdo con \u00e9sta, los lenguajes regulares son los lenguajes m\u00e1s simples.<\/li><\/ol>\n\n\n\n<p class=\"wp-block-paragraph\">Hemos llegado al final de nuestra sesi\u00f3n. No me resta m\u00e1s que felicitarte por tu esfuerzo y dedicaci\u00f3n. Te invito a leer, estudiar y complementar tu aprendizaje por medio del material incluido en la sesi\u00f3n. Recuerda que siempre tendr\u00e1s el respaldo de tu asesor. No dudes en consultarlo.&nbsp;<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Por \u00faltimo, resuelve la consigna de este tema; te invito a cumplir con este compromiso en tiempo y forma.<\/p>\n\n\n\n<p class=\"wp-block-paragraph\">Nos leemos en la siguiente sesi\u00f3n.&nbsp;<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"fuentes-de-informacion\">Fuentes de informaci\u00f3n<\/h2>\n\n\n\n<ul class=\"wp-block-list\"><li><a href=\"https:\/\/www.youtube.com\/watch?v=fQQ6Rs7nc_A\" target=\"_blank\" rel=\"noreferrer noopener\">Unidad 10: Lenguajes Formales, 0:10 \u2013 25:00.<\/a><\/li><\/ul>\n","protected":false},"excerpt":{"rendered":"<p>Introducci\u00f3n \u00a1Hola! Es un gusto encontrarte nuevamente, espero que est\u00e9s aprendiendo mucho, sobre todo, que tu \u00e1nimo no decaiga y sigas conociendo m\u00e1s acerca de los temas que se te presentan. En esta sesi\u00f3n aprenderemos sobre la teor\u00eda de los lenguajes formales. Veremos sobre antecedentes y la teor\u00eda de los lenguajes formales. Un lenguaje se &#8230; <a title=\"Clase digital 5. An\u00e1lisis l\u00e9xico: Teor\u00eda de los lenguajes\" class=\"read-more\" href=\"https:\/\/blogs.ugto.mx\/rea\/clase-digital-5-analisis-lexico-teoria-de-los-lenguajes\/\" aria-label=\"Leer m\u00e1s sobre Clase digital 5. An\u00e1lisis l\u00e9xico: Teor\u00eda de los lenguajes\">Leer m\u00e1s<\/a><\/p>\n","protected":false},"author":142,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"_crdt_document":"","episode_type":"","audio_file":"","podmotor_file_id":"","podmotor_episode_id":"","cover_image":"","cover_image_id":"","duration":"","filesize":"","filesize_raw":"","date_recorded":"","explicit":"","block":"","itunes_episode_number":"","itunes_title":"","itunes_season_number":"","itunes_episode_type":"","footnotes":""},"categories":[180,19,471],"tags":[41,472,473],"class_list":["post-16161","post","type-post","status-publish","format-standard","hentry","category-cideap","category-ingenieria-en-sistemas-computacionales","category-uda-compiladores","tag-clase-digital","tag-iili06025","tag-jose-ruiz-pinales"],"acf":[],"jetpack_featured_media_url":"","_links":{"self":[{"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/posts\/16161","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/users\/142"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/comments?post=16161"}],"version-history":[{"count":6,"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/posts\/16161\/revisions"}],"predecessor-version":[{"id":19159,"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/posts\/16161\/revisions\/19159"}],"wp:attachment":[{"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/media?parent=16161"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/categories?post=16161"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ugto.mx\/rea\/wp-json\/wp\/v2\/tags?post=16161"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}