Solving Language Equations Using Flanked Automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Solving Language Equations Using Flanked Automata

Résumé

We define a new subclass of nondeterministic finite automata for prefix-closed languages called Flanked Finite Automata (FFA). Our motivation is to provide an efficient way to compute the quotient and inclusion of regular languages without the need to determinize the underlying automata. These operations are the building blocks of several verification algorithms that can be interpreted as language equation solving problems. We provide a construction for computing a FFA accepting the quotient and product of languages that is compositional and that does not incur an exponential blow up in size. This makes flanked au-tomata a good candidate as a formalism for compositional design and verification of systems.
Fichier principal
Vignette du fichier
ffa.pdf (297.96 Ko) Télécharger le fichier
dessin.pdf (13 Ko) Télécharger le fichier
restable.pdf (31.61 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01202702 , version 1 (21-09-2015)
hal-01202702 , version 2 (07-03-2017)

Identifiants

Citer

Florent Avellaneda, Silvano Dal Zilio, Jean-Baptiste Raclet. Solving Language Equations Using Flanked Automata. ATVA 2016: Automated Technology for Verification and Analysis, Oct 2016, Chiba, Japan. pp.106 - 121, ⟨10.1007/978-3-319-46520-3_7⟩. ⟨hal-01202702v2⟩
604 Consultations
746 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More