Mostrar el registro sencillo del ítem
Ponencia
Matrix Languages, Register Machines, Vector Addition Systems
dc.creator | Freund, Rudolf | |
dc.creator | Ibarra, Óscar H. | |
dc.creator | Paun, Gheorghe | |
dc.creator | Yen, Hsu-Chen | |
dc.date.accessioned | 2016-03-03T08:58:52Z | |
dc.date.available | 2016-03-03T08:58:52Z | |
dc.date.issued | 2005 | |
dc.identifier.isbn | 84-609-6771-9 | es |
dc.identifier.uri | http://hdl.handle.net/11441/36776 | |
dc.description.abstract | We 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.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Fénix Editora | es |
dc.relation.ispartof | Proceedings 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.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | Matrix Languages, Register Machines, Vector Addition Systems | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | |
dc.identifier.idus | https://idus.us.es/xmlui/handle/11441/36776 |
Ficheros | Tamaño | Formato | Ver | Descripción |
---|---|---|---|---|
bravol155.pdf | 180.4Kb | [PDF] | Ver/ | |