Schema-Based Automata Determinization - Archive ouverte HAL
Conference Papers Year : 2022

Schema-Based Automata Determinization

Joachim Niehren
Momar Sakho
  • Function : Author
  • PersonId : 1019942

Abstract

We propose an algorithm for schema-based determinization of finite automata on words and of stepwise hedge automata on nested words. The idea is to integrate schema-based cleaning directly into automata determinization. We prove the correctness of our new algorithm and show that it is always more efficient than standard determinization followed by schema-based cleaning. Our implementation permits to obtain a small deterministic automaton for an example of an XPath query, where standard determinization yields a huge stepwise hedge automaton for which schema-based cleaning runs out of memory.
Fichier principal
Vignette du fichier
0.pdf (934.41 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03536045 , version 1 (19-01-2022)
hal-03536045 , version 2 (25-07-2022)

Identifiers

  • HAL Id : hal-03536045 , version 2

Cite

Joachim Niehren, Momar Sakho, Antonio Al Serhali. Schema-Based Automata Determinization. Gandalf 2022: 13th International Symposium on Games, Automata, Logics, and Formal Verification, Sep 2022, Madrid, Spain. ⟨hal-03536045v2⟩

Share

More