Show simple item record

dc.creatorFreund, Rudolf
dc.creatorIbarra, Óscar H.
dc.creatorPaun, Gheorghe
dc.creatorYen, Hsu-Chen
dc.date.accessioned2016-03-03T08:58:52Z
dc.date.available2016-03-03T08:58:52Z
dc.date.issued2005
dc.identifier.isbn84-609-6771-9es
dc.identifier.urihttp://hdl.handle.net/11441/36776
dc.description.abstractWe give a direct and simple proof of the equality of Parikh images of lan- guages generated by matrix grammars with appearance checking with the sets of vectors generated by register machines. As a particular case, we get the equality of the Parikh images of languages generated by matrix grammars without appearance checking with the sets of vectors generated by partially blind register machines. Then, we consider pure matrix grammars (i.e., grammars which do not distinguish terminal and nonterminal symbols), and prove the inclusion of the family of Parikh images of languages generated by such grammars (without appearance checking) in the family of sets of vectors generated by blind register machines, as well as the inclusion of reachability sets of vector addition systems in the family of Parikh images of pure matrix languages. For pure matrix grammars with a certain restriction on the form of matrices, also the converse of the latter inclusion is obtained. Thus, in view of the result from, we obtain the semilin- earity of languages generated by pure matrix grammars (without appearance checking) with alphabets with at most five letters, with the considered restrictions on the form of matrices. A pure matrix grammar with five symbols, but without restrictions on the form of matrices, is produced which generates a non-semilinear language.es
dc.formatapplication/pdfes
dc.language.isoenges
dc.publisherFénix Editoraes
dc.relation.ispartofProceedings of the Third Brainstorming Week on Membrane Computing, 155-167. Sevilla, E.T.S. de Ingeniería Informática, 31 de Enero-4 de Febrero, 2005,es
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 Internacional*
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/*
dc.titleMatrix Languages, Register Machines, Vector Addition Systemses
dc.typeinfo:eu-repo/semantics/conferenceObjectes
dc.type.versioninfo:eu-repo/semantics/publishedVersiones
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.contributor.affiliationUniversidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial
dc.contributor.groupUniversidad de Sevilla. TIC193: Computación Natural
dc.identifier.idushttps://idus.us.es/xmlui/handle/11441/36776

FilesSizeFormatViewDescription
bravol155.pdf180.4KbIcon   [PDF] View/Open  

This item appears in the following collection(s)

Show simple item record

Attribution-NonCommercial-NoDerivatives 4.0 Internacional
Except where otherwise noted, this item's license is described as: Attribution-NonCommercial-NoDerivatives 4.0 Internacional