{"id":64611,"date":"2018-03-09T22:52:40","date_gmt":"2018-03-09T22:52:40","guid":{"rendered":"https:\/\/www.deberes.net\/tesis\/sin-categoria\/automatas-finitos-irreducibilidad-e-inferencia\/"},"modified":"2018-03-09T22:52:40","modified_gmt":"2018-03-09T22:52:40","slug":"automatas-finitos-irreducibilidad-e-inferencia","status":"publish","type":"post","link":"https:\/\/www.deberes.net\/tesis\/inteligencia-artificial\/automatas-finitos-irreducibilidad-e-inferencia\/","title":{"rendered":"Aut\u00f3matas finitos: irreducibilidad e inferencia."},"content":{"rendered":"<h2>Tesis doctoral de <strong>  Vazquez De Parga Andrade Manuel <\/strong><\/h2>\n<p>En este trabajo abordamos dos problemas: el de la reducci\u00f3n de aut\u00f3matas finitos y el de la inferencia de los lenguajes regulares y estudiamos las relaciones entre ellos.  tras la introducci\u00f3n, en el segundo cap\u00edtulo se repasan los conceptos y proposiciones  b\u00e1sicos de teor\u00eda de lenguajes y se establece la notaci\u00f3n utilizada a lo largo del trabajo.  lo mismo, pero en lo que concierne a la inferencia gramatical, se realiza en el tercer cap\u00edtulo, donde se describe adem\u00e1s el actual estado del arte.  en el cuarto cap\u00edtulo se discuten los problemas de minimalizaci\u00f3n y reducci\u00f3n de aut\u00f3matas finitos y se demuestra el primero de los resultados centrales de esta tesis, la  existencia de una cota en el tama\u00f1o de los aut\u00f3matas finitos irreducibles que aceptan un  determinado lenguaje regular. Se introducen adem\u00e1s los conceptos de irreducibilidad y  concisi\u00f3n relativas. En el cap\u00edtulo quinto se discuten y ampl\u00edan los conceptos de red de  aut\u00f3matas cocientes y completitud estructural y se introduce el concepto de universalidad  estructural. Como resultado de este estudio se obtiene el segundo de los resultados  centrales de este trabajo, el cual establece que cualquier algoritmo de fusi\u00f3n de estados  que obtenga como resultado un aut\u00f3mata finito irreducible compatible con los datos de  entrada infiere en el l\u00edmite la clase de los lenguajes regulares siempre y cuando se  aplique en cierta manera, por lo dem\u00e1s poco restrictiva. En el cap\u00edtulo sexto se introduce  el concepto de subaut\u00f3mata asociado a una palabra en un lenguaje y a partir de \u00e9l se  describe una nueva familia de algoritmos de inferencia de la clase de los lenguajes  regulares representados mediante aut\u00f3matas finitos, algoritmos que tienen la  particularidad de que su complejidad temporal es funci\u00f3n b\u00e1sicamente de la longitud de las  palabras de la muestra de entrada, mientras que son pr\u00e1cticamente lineales respecto al n\u00famero de las mismas. En el cap\u00edtulo s\u00e9ptim<\/p>\n<p>&nbsp;<\/p>\n<h3>Datos acad\u00e9micos de la tesis doctoral \u00ab<strong>Aut\u00f3matas finitos: irreducibilidad e inferencia.<\/strong>\u00ab<\/h3>\n<ul>\n<li><strong>T\u00edtulo de la tesis:<\/strong>\u00a0 Aut\u00f3matas finitos: irreducibilidad e inferencia. <\/li>\n<li><strong>Autor:<\/strong>\u00a0  Vazquez De Parga Andrade Manuel <\/li>\n<li><strong>Universidad:<\/strong>\u00a0 Polit\u00e9cnica de Valencia<\/li>\n<li><strong>Fecha de lectura de la tesis:<\/strong>\u00a0 21\/05\/2008<\/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>Pedro Garc\u00eda G\u00f3mez<\/li>\n<\/ul>\n<\/li>\n<li><strong>Tribunal<\/strong>\n<ul>\n<li>Presidente del tribunal:  Oncina carratala Jos\u00e9 Mar\u00eda <\/li>\n<li>Mar\u00eda  ines Torres bara\u00f1ano (vocal)<\/li>\n<li>Jorge Calera rubio (vocal)<\/li>\n<li> Sempere luna Jos\u00e9 Mar\u00eda (vocal)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Tesis doctoral de Vazquez De Parga Andrade Manuel En este trabajo abordamos dos problemas: el de la reducci\u00f3n de aut\u00f3matas [&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":[2528,18534,16820],"tags":[80016,4154,70334,61242,136635,142554],"class_list":["post-64611","post","type-post","status-publish","format-standard","hentry","category-inteligencia-artificial","category-lenguajes-formales","category-politecnica-de-valencia","tag-jorge-calera-rubio","tag-maria-ines-torres-baranano","tag-oncina-carratala-jose-maria","tag-pedro-garcia-gomez","tag-sempere-luna-jose-maria","tag-vazquez-de-parga-andrade-manuel"],"_links":{"self":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/64611","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=64611"}],"version-history":[{"count":0,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/posts\/64611\/revisions"}],"wp:attachment":[{"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/media?parent=64611"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/categories?post=64611"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.deberes.net\/tesis\/wp-json\/wp\/v2\/tags?post=64611"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}