{"id":22988,"date":"2018-03-09T09:13:23","date_gmt":"2018-03-09T09:13:23","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/investigaciones-sobre-gramaticas-categoriales-algoritmos-de-parsing-y-equivalencia-entre-formalismos\/"},"modified":"2018-03-09T09:13:23","modified_gmt":"2018-03-09T09:13:23","slug":"investigaciones-sobre-gramaticas-categoriales-algoritmos-de-parsing-y-equivalencia-entre-formalismos","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/linguistica\/investigaciones-sobre-gramaticas-categoriales-algoritmos-de-parsing-y-equivalencia-entre-formalismos\/","title":{"rendered":"Investigaciones sobre gram\u00e1ticas categoriales: algoritmos de parsing y equiValencia entre formalismos"},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jos\u00e9 Antonio Jimenez Millan <\/strong><\/h2>\n<p>Esta tesis doctoral muestra el resultado de una investigaci\u00f3n sobre la utilizaci\u00f3n del formalismo de las gram\u00e1ticas categoriales (gc) para la descripci\u00f3n y parsing de los lenguajes naturales y formales.  el estudio se ha centrado sobre algunos aspectos que encontr\u00e1bamos problem\u00e1ticos para la aplicaci\u00f3n pr\u00e1ctica de las gc, a saber:  a,- equiValencia fuerte entre las gram\u00e1ticas independientes de contexto (gic) y gc.  b,- falta de expresividad de las gc.  c,- existencia de m\u00faltiples sistemas de etiquetado sem\u00e1ntico para el c\u00e1lculo de lamberk (cl) y ausencia de una definici\u00f3n precisa de la ambig\u00ed\u00bcedad espuria.  d,- eficiencia y robustez de los algoritmos de parsing.  se comienza estudiando la posible utilizaci\u00f3n del cl a las gic, concluyendo que esto es posible. Para demostrarlo introducimos un modelo algebraico, y comprobamos que el cl es v\u00e1lido en \u00e9l.  otra forma de considerar el resultado anterior es pensar que hemos extendido las gc a una teor\u00eda conseguida al a\u00f1adir axiomas al cl. El sistema resultante constituye una teor\u00eda unificada de las gc y las gic.  a continuaci\u00f3n discutimos las implicaciones que conlleva la utilizaci\u00f3n del cl en las gic, as\u00ed como sus ventajas y desventajas.  respecto a la existencia de m\u00faltiples sistemas de etiquetado en cl, comenzamos introduciendo dos versiones diferentes para el c\u00e1lculo en deducci\u00f3n natural (dn) de las gc. Utilizando una de las variantes es como mostramos la validez del principio de inversi\u00f3n y la equiValencia curry-howard en dn. Posteriormente, y utilizando dos algoritmos nuevos de conversi\u00f3n entre las pruebas en cl y las deduciones en dn. Obtenemos un etiquetado sem\u00e1ntico en cl que proponemos como definici\u00f3n de la ambig\u00ed\u00bcedad espuria.  por \u00faltimo mostramos dos algoritmos de parsing. Uno para el c\u00e1lculo en dn, que es \u00fanico completo que conocemos y que genera s\u00f3lo formas normales, y otra para el cl, que tambi\u00e9n es completo y libre de ambig\u00ed\u00bcedad espuri<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Investigaciones sobre gram\u00e1ticas categoriales: algoritmos de parsing y equiValencia entre formalismos<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Investigaciones sobre gram\u00e1ticas categoriales: algoritmos de parsing y equiValencia entre formalismos <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jos\u00e9 Antonio Jimenez Millan <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 C\u00e1diz<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 19\/05\/2003<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n<h3>Direcci\u00f3n y tribunal<\/h3>\n<ul>\n<li><strong>Director de la tesis<\/strong>\n<ul>\n<li>Antonio Fr\u00edas Delgado<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: buenaventura Clares rodr\u00edguez <\/li>\n<li> Fari\u00f1as del cerro Luis (vocal)<\/li>\n<li>raquel Martinez unanue (vocal)<\/li>\n<li>  (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jos\u00e9 Antonio Jimenez Millan Esta tesis doctoral muestra el resultado de una investigaci\u00f3n sobre la utilizaci\u00f3n del [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-gradient":""}},"footnotes":""},"categories":[1506,1890,30372,6474,59,60,2302,3747,3748,126,30772],"tags":[24749,35611,6569,68392,54810],"class_list":["post-22988","post","type-post","status-publish","format-standard","hentry","category-cadiz","category-ciencia-de-los-ordenadores","category-lenguajes-algoritmicos","category-lenguajes-de-programacion","category-linguistica","category-linguistica-aplicada","category-linguistica-computacional","category-logica","category-logica-deductiva","category-matematicas","category-teoria-de-lenguajes-formales","tag-antonio-frias-delgado","tag-buenaventura-clares-rodriguez","tag-farinas-del-cerro-luis","tag-jose-antonio-jimenez-millan","tag-raquel-Martinez-unanue"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/22988","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/comments?post=22988"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/22988\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=22988"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=22988"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=22988"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}