Algorithms Based on Finite Automata for Testing of Z-codes - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2012

Algorithms Based on Finite Automata for Testing of Z-codes

Dang Quyet Thang
  • Fonction : Auteur
  • PersonId : 1011204
Nam Dinh University of Technology and Education
Nguyen Dinh Han
  • Fonction : Auteur
  • PersonId : 1011205
Hung Yen University of Technology and Education
Phan Trung Huy
  • Fonction : Auteur
  • PersonId : 1011206
Hanoi University of Science and Technology

Résumé

In this paper, we propose an algorithm to decide whether a regular language recognized by finite automata is a Z-code or not. This algorithm has time complexity O(n4) for the general case of non-deterministic automata, O(n2) for the restricted case of deterministic automata, where n is the number of states of finite automata.

Domaines

Informatique [cs]
Fichier principal
Vignette du fichier
978-3-642-35606-3_74_Chapter.pdf (324.77 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Hal Ifip  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01551321

Soumis le : vendredi 30 juin 2017-10:35:39

Dernière modification le : mercredi 6 avril 2022-15:14:02

Archivage à long terme le : lundi 22 janvier 2018-19:25:00

Télécharger pour visualiser

Dates et versions

hal-01551321 , version 1 (30-06-2017)

Licence

Paternité

Identifiants

Citer

Dang Quyet Thang, Nguyen Dinh Han, Phan Trung Huy. Algorithms Based on Finite Automata for Testing of Z-codes. 9th International Conference on Network and Parallel Computing (NPC), Sep 2012, Gwangju, South Korea. pp.625-635, ⟨10.1007/978-3-642-35606-3_74⟩. ⟨hal-01551321⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

IFIP-LNCS IFIP IFIP-AICT IFIP-TC IFIP-TC10 IFIP-NPC IFIP-WG10-3 IFIP-LNCS-7513
64 Consultations
73 Téléchargements

Altmetric

Partager

More