Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Uniform Distributed Pushdown Automata Systems
Año:2012
Áreas de investigación
  • Ciencias de la computación y tecnología informática
Datos
Descripción
We consider here uniform distributed pushdown automata systems (UDPAS), namely distributed pushdown automata systems having all components identical pushdown automata. We consider here just a single protocol for activating/deactivating components, namely a component stays active as long as it can perform moves, as well as two ways of accepting the input word: by empty stacks (all components have empty stacks) or by final states (all components are in final states), when the input word is completely read. We mainly investigate the computational power of UDPAS accepting by empty stacks and a few decidability and closure properties of the families of languages they define. Some directions for further work and open problems are also discussed.
Internacional
Si
Nombre congreso
Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012,
Tipo de participación
960
Lugar del congreso
Braga, Portugal
Revisores
Si
ISBN o ISSN
978-3-642-31622-7
DOI
10.1007/978-3-642-31623-4_5
Fecha inicio congreso
23/07/2012
Fecha fin congreso
25/07/2012
Desde la página
64
Hasta la página
75
Título de las actas
Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Fernando Arroyo Montoro (UPM)
  • Autor: Juan Bautista Castellanos Peñuela (UPM)
  • Autor: Victor Mitrana (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Grupo de Computación Natural
  • Departamento: Inteligencia Artificial
  • Departamento: Lenguajes, Proyectos y Sistemas Informáticos
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)