Observatorio de I+D+i UPM

Memorias de investigación
Communications at congresses:
Uniform Distributed Pushdown Automata Systems
Year:2012
Research Areas
  • Information technology and adata processing
Information
Abstract
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.
International
Si
Congress
Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012,
960
Place
Braga, Portugal
Reviewers
Si
ISBN/ISSN
978-3-642-31622-7
10.1007/978-3-642-31623-4_5
Start Date
23/07/2012
End Date
25/07/2012
From page
64
To page
75
Descriptional Complexity of Formal Systems - 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings
Participants
  • Autor: Fernando Arroyo Montoro (UPM)
  • Autor: Juan Bautista Castellanos Peñuela (UPM)
  • Autor: Victor Mitrana (UPM)
Research Group, Departaments and Institutes related
  • Creador: Grupo de Investigación: Grupo de Computación Natural
  • Departamento: Inteligencia Artificial
  • Departamento: Lenguajes, Proyectos y Sistemas Informáticos
S2i 2019 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)