Checking NFA equivalence with bisimulations up to congruence - Archive ouverte HAL Accéder directement au contenu
Rapport Année : 2012

Checking NFA equivalence with bisimulations up to congruence

Damien Pous
Connectez-vous pour contacter l'auteur

Résumé

We introduce \emph{bisimulation up to congruence} as a technique for proving language equivalence of non-deterministic finite automata. Exploiting this technique, we devise an optimisation of the classical algorithm by Hopcroft and Karp~\cite{HopcroftKarp} that, instead of computing the whole determinised automata, explores only a small portion of it. Although the optimised algorithm remains exponential in worst case (the problem is PSPACE-complete), experimental results show improvements of several orders of magnitude over the standard algorithm.
Fichier principal
Vignette du fichier
hkc.pdf (354.79 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00639716 , version 1 (09-11-2011)
hal-00639716 , version 2 (06-12-2011)
hal-00639716 , version 3 (14-01-2012)
hal-00639716 , version 4 (27-02-2012)
hal-00639716 , version 5 (11-07-2012)

Identifiants

  • HAL Id : hal-00639716 , version 4

Citer

Filippo Bonchi, Damien Pous. Checking NFA equivalence with bisimulations up to congruence. 2012. ⟨hal-00639716v4⟩
793 Consultations
6311 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More