{"id":42107,"date":"1999-01-01T00:00:00","date_gmt":"1999-01-01T00:00:00","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/analisis-sintactivo-discriminante-inverso\/"},"modified":"1999-01-01T00:00:00","modified_gmt":"1999-01-01T00:00:00","slug":"analisis-sintactivo-discriminante-inverso","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/matematicas\/analisis-sintactivo-discriminante-inverso\/","title":{"rendered":"Analisis sintactivo discriminante inverso."},"content":{"rendered":"<h2>Tesis doctoral de <strong> Jose Fortes Galvez <\/strong><\/h2>\n<p>Desde la invenci\u00f3n por donald knuth del an\u00e1lisis sint\u00e1ctico lr(k) -el m\u00e9todo pr\u00e1ctico m\u00e1s potente que permite analizar el texto de entrada conforme va siendo le\u00eddo-, un gran esfuerzo investigador se ha concentrado en desarrollar t\u00e9cnicas eficientes para abordar el problema del tama\u00f1o cuando k   1, que sin embargo no han sido consideradas suficientemente satisfactorias en la pr\u00e1ctica, donde est\u00e1 firmemente establecido el m\u00e1s sencillo pero menos potente m\u00e9todo lalr(1).  esta tesis afirma que esta situaci\u00f3n no es enteramente satisfactoria para la generaci\u00f3n de analizadores para lenguajes de programaci\u00f3n, y propone un enfoque nuevo discriminante inverso al an\u00e1lisis lr(k) completo, mediante la construcci\u00f3n de un aut\u00f3mata de estados finitos que explore el sufijo m\u00ednimo de la pila desde su cima para discriminar cada acci\u00f3n de an\u00e1lisis ascendente, cuya correcci\u00f3n y linealidad de tiempo de an\u00e1lisis se demuestran aqu\u00ed formalmente.  el m\u00e9todo ha sido implementadoy evaluado para gram\u00e1ticas pr\u00e1cticas, resultando en analizadores con potencia lr(1) completa considerablemente menores que los analizadores producidos por generadores basados en lalr(1), tales como yacc, y en un despreciable coste de exploraci\u00f3n de la pila.  elloha sido posible porque los analizadores cl\u00e1sicos directos construyen un reconocedor para el lenguaje completo desde la base a la cima de pilas m\u00e1s ventanas de prelectura, mientras que el analizador discriminante inverso utiliza t\u00edpicamente unos pocos s\u00f3mbolos de la cima de la pila m\u00e1s la ventana, donde se concentra la mayor parte de la informaci\u00f3n para el an\u00e1lisis, lo que era evidente para los primeros dise\u00f1adores de analizadores de precedencia.#<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Analisis sintactivo discriminante inverso.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Analisis sintactivo discriminante inverso. <\/li>\n<li><strong>Autor:<\/strong>\u00a0 Jose Fortes Galvez <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Palmas de gran canaria<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 01\/01\/1999<\/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>Oliver Lecarme<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal: igor Litovsky <\/li>\n<li>casiano Rodriguez leon (vocal)<\/li>\n<li>octavio Santana suarez (vocal)<\/li>\n<li>lucien Farre jacques (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Jose Fortes Galvez Desde la invenci\u00f3n por donald knuth del an\u00e1lisis sint\u00e1ctico lr(k) -el m\u00e9todo pr\u00e1ctico m\u00e1s [&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":[1890,13880,30372,3747,3748,126,16629,30772],"tags":[16653,106156,106154,106157,53638,106155],"class_list":["post-42107","post","type-post","status-publish","format-standard","hentry","category-ciencia-de-los-ordenadores","category-informatica","category-lenguajes-algoritmicos","category-logica","category-logica-deductiva","category-matematicas","category-palmas-de-gran-canaria","category-teoria-de-lenguajes-formales","tag-casiano-rodriguez-leon","tag-igor-litovsky","tag-jose-fortes-galvez","tag-lucien-farre-jacques","tag-octavio-santana-suarez","tag-oliver-lecarme"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/42107","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=42107"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/42107\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=42107"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=42107"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=42107"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}