Optimal Zielonka-Type Construction of Deterministic Asynchronous AutomataReportar como inadecuado

Optimal Zielonka-Type Construction of Deterministic Asynchronous Automata - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 IPAL - Image & Pervasive Access Lab 2 LaBRI - Laboratoire Bordelais de Recherche en Informatique

Abstract : Asynchronous automata are parallel compositions of finite-state processes synchronizing over shared variables. A deep theorem due to Zielonka says that every regular trace language can be represented by a deterministic asynchronous automaton. In this paper we improve the construction, in that the size of the obtained asynchronous automaton is polynomial in the size of a given DFA and simply exponential in the number of processes. We show that our construction is optimal within the class of automata produced by Zielonka-type constructions. In particular, we provide the first non trivial lower bound on the size of asynchronous automata.

Autor: Blaise Genest - Hugo Gimbert - Anca Muscholl - Igor Walukiewicz -

Fuente: https://hal.archives-ouvertes.fr/


Documentos relacionados