Elementos de semántica denotacional de lenguajes de programación con datos borrosos

Sánchez Álvarez, Daniel

Publication:
Elementos de semántica denotacional de lenguajes de programación con datos borrosos

dc.contributor.advisor	Gómez Skarmeta, Antonio Fernando
dc.contributor.author	Sánchez Álvarez, Daniel
dc.contributor.other	Ingeniería de la Información y las Comunicaciones	es
dc.date.accessioned	2010-09-09T10:38:04Z
dc.date.available	2010-09-09T10:38:04Z
dc.date.created	1999-10-01
dc.date.issued	2010-09-09
dc.description.abstract	A fin de diseñar e implementar lenguajes de programación que tengan en cuenta el paradigma borroso modificaremos el lambda cálculo clásico, adjuntando a cada término un grado, y redefiniendo la beta-reducción, obteniendo que para que el nuevo cálculo verifique la propiedad de Church-Rosser la transmisión de los grados debe hacerse por medio de una función que sea una t-norma o s-conorma. Utilizando esta nueva herramienta diseñamos un lenguaje no determinista que satisface los requerimientos de la programación con datos borrosos. With the aim of designing and implementing programming languages that take into account the fuzzy paradigm we will modify the classical lambda calculus by adding a degree to each term and by redefining the b-reduction. Thus, for the new calculus to verify the Church-Rosser property, the degree computed with can be made through a function that is a t-norm or an s-conorm. With this new tool we design a nondeterminist language that satisfies fuzzy data	es
dc.format	application/pdf	es
dc.format.extent	288	es
dc.identifier.eissn	978-84-693-4388-3
dc.identifier.uri	http://hdl.handle.net/10201/14443
dc.language	spa	es
dc.publisher	Universidad de Murcia	es
dc.relation.ispartof	Proyecto de investigación:	es
dc.relation.replaces	http://www.tdr.cesca.es/TESIS_UM/AVAILABLE/TDR-0621110-090412//SanchezAlvarezDaniel.pdf	es
dc.rights	La difusión de este documento por medio de Internet ha sido autorizado por los titulares de los derechos de propiedad intelectual únicamente para usos privados enmarcados en actividades de investigación y docencia. No se autoriza su reproducción con finalidades de lucro ni su difusión.	es
dc.rights	info:eu-repo/semantics/openAccess	es
dc.subject	Lenguaje de programación	es
dc.subject.other	CDU::6 - Ciencias aplicadas::62 - Ingeniería. Tecnología::621 - Ingeniería mecánica en general. Tecnología nuclear. Electrotecnia. Maquinaria::621.3 - Ingeniería eléctrica. Electrotecnia. Telecomunicaciones	es
dc.subject.other	CDU::6 - Ciencias aplicadas::68 - Industrias, oficios y comercio de artículos acabados. Tecnología cibernética y automática	es
dc.title	Elementos de semántica denotacional de lenguajes de programación con datos borrosos	es
dc.type	info:eu-repo/semantics/doctoralThesis	es
dspace.entity.type	Publication	es