Dynamic Data Structures for Timed Automata Acceptance.
Algorithmica
; 84(11): 3223-3245, 2022.
Article
em En
| MEDLINE
| ID: mdl-36313790
We study a variant of the classical membership problem in automata theory, which consists of deciding whether a given input word is accepted by a given automaton. We do so through the lenses of parameterized dynamic data structures: we assume that the automaton is fixed and its size is the parameter, while the input word is revealed as in a stream, one symbol at a time following the natural order on positions. The goal is to design a dynamic data structure that can be efficiently updated upon revealing the next symbol, while maintaining the answer to the query on whether the word consisting of symbols revealed so far is accepted by the automaton. We provide complexity bounds for this dynamic acceptance problem for timed automata that process symbols interleaved with time spans. The main contribution is a dynamic data structure that maintains acceptance of a fixed one-clock timed automaton A with amortized update time 2 O ( | A | ) per input symbol.
Texto completo:
1
Coleções:
01-internacional
Base de dados:
MEDLINE
Idioma:
En
Revista:
Algorithmica
Ano de publicação:
2022
Tipo de documento:
Article
País de afiliação:
Chile
País de publicação:
Estados Unidos