Mostra el registre d'ítem simple

dc.contributor.authorBalcázar Navarro, José Luis
dc.contributor.authorDíaz Cort, Josep
dc.contributor.authorGabarró Vallès, Joaquim
dc.contributor.otherUniversitat Politècnica de Catalunya. Departament de Ciències de la Computació
dc.contributor.otherFacultat d'Informàtica de Barcelona
dc.date.accessioned2017-11-20T14:52:27Z
dc.date.available2017-11-20T14:52:27Z
dc.date.issued1984
dc.identifier.citationBalcazar, J. L., Diaz, J., Gabarro, J. "Examples of CF-bi-inmune and CF-levelable sets in LOGSPACE". 1984.
dc.identifier.urihttp://hdl.handle.net/2117/110922
dc.description.abstractWe find sets in the class LOGSPACE (on-line) that do not have good respectively approximations by context-free languages. For that we introduce the languages CF-bi-inmune and CF-levelable. We prove the results by defining directectly the sets and obtaining the properties via pumping arguments.
dc.description.abstractTrobem conjunts en la classe LOGSPACE (on-line) que no tenen bones respectivament òptimes aproximacions per llenguatges incontextuals. Per això introduïm els llenguatges CF-bi-inmune i CF-nivellable. Demostrem els resultats directament, definim els llenguatges i demostrem les propietats mitjançant el lema d'iteracció
dc.format.extent6 p.
dc.language.isoeng
dc.relation.ispartofseries84/08
dc.subjectÀrees temàtiques de la UPC::Informàtica::Llenguatges de programació
dc.subject.lcshComputational complexity
dc.subject.otherLOGSPÂCE
dc.subject.otherCF-bi-inmune language
dc.subject.otherCF-levelable language
dc.titleExamples of CF-bi-inmune and CF-levelable sets in LOGSPACE
dc.typeExternal research report
dc.subject.lemacComplexitat computacional
dc.contributor.groupUniversitat Politècnica de Catalunya. LARCA - Laboratori d'Algorísmia Relacional, Complexitat i Aprenentatge
dc.contributor.groupUniversitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
dc.rights.accessOpen Access
local.identifier.drac21622482
dc.description.versionPostprint (published version)
local.citation.authorBalcazar, J. L.; Diaz, J.; Gabarro, J.


Fitxers d'aquest items

Thumbnail

Aquest ítem apareix a les col·leccions següents

Mostra el registre d'ítem simple