• English
    • français
  • Help
  •  | 
  • Contact
  •  | 
  • About
  •  | 
  • Login
  • HAL portal
  •  | 
  • Pages Pro
  • EN
  •  / 
  • FR
View Item 
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
  •   LillOA Home
  • Liste des unités
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Nested Regular Expressions can be Compiled ...
  • BibTeX
  • CSV
  • Excel
  • RIS

Document type :
Communication dans un congrès avec actes
Title :
Nested Regular Expressions can be Compiled to Small Deterministic Nested Word Automata
Author(s) :
Boneva, Iovka [Auteur] refId
Linking Dynamic Data [LINKS]
Niehren, Joachim [Auteur] refId
Linking Dynamic Data [LINKS]
Sakho, Momar [Auteur]
Linking Dynamic Data [LINKS]
Conference title :
CSR 2020 - 15th International Computer Science Symposium in Russia
City :
Ekaterinburg
Country :
Russie
Start date of the conference :
2020-06-29
HAL domain(s) :
Informatique [cs]/Logique en informatique [cs.LO]
English abstract : [en]
We study the problem of whether regular expressions for nested words can be compiled to small deterministic nested word au-tomata (NWAs). In theory, we obtain a positive answer for small deter-ministic regular expressions ...
Show more >
We study the problem of whether regular expressions for nested words can be compiled to small deterministic nested word au-tomata (NWAs). In theory, we obtain a positive answer for small deter-ministic regular expressions for nested words. In practice of navigational path queries, nondeterministic NWAs are obtained for which NWA de-terminization explodes. We show that practical good solutions can be obtained by using stepwise hedge automata as intermediates.Show less >
Language :
Anglais
Peer reviewed article :
Oui
Audience :
Internationale
Popular science :
Non
Collections :
  • Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Source :
Harvested from HAL
Files
Thumbnail
  • https://hal.inria.fr/hal-02532706v2/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.inria.fr/hal-02532706v2/document
  • Open access
  • Access the document
Thumbnail
  • https://hal.inria.fr/hal-02532706v2/document
  • Open access
  • Access the document
Université de Lille

Mentions légales
Université de Lille © 2017