Unary Self-verifying Symmetric Difference Automata - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Unary Self-verifying Symmetric Difference Automata

Résumé

We investigate self-verifying nondeterministic finite automata, in the case of unary symmetric difference nondeterministic finite automata (SV-XNFA). We show that there is a family of languages $$\mathcal {L}_{n\ge 2}$$ which can always be represented non-trivially by unary SV-XNFA. We also consider the descriptional complexity of unary SV-XNFA, giving an upper and lower bound for state complexity.
Fichier principal
Vignette du fichier
416473_1_En_14_Chapter.pdf (287.4 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01633957 , version 1 (13-11-2017)

Licence

Paternité

Identifiants

Citer

Laurette Marais, Lynette Van Zijl. Unary Self-verifying Symmetric Difference Automata. 18th International Workshop on Descriptional Complexity of Formal Systems (DCFS), Jul 2016, Bucharest, Romania. pp.180-191, ⟨10.1007/978-3-319-41114-9_14⟩. ⟨hal-01633957⟩
40 Consultations
104 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More