Theoretical study and implementation of the canonical automaton

Fundamenta Informaticae

Volumn 55, Issue 1, 2003, Pages 23-38

  Champarnaud, Jean Marc ^a   Coulon, Fabien ^a  

^a UNIVERSITÉ DE ROUEN   (France)

Author keywords

Canonical fundamental automaton; Characteristic event; Grid cover; NFA minimization; Nondeterministic automata

Indexed keywords

FUNCTIONS; SET THEORY; SYNTACTICS;

CANONICAL AUTOMATON;

FINITE AUTOMATA;

EID: 0038080913     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (10)

1. Amilhastre, J.: Représentation par automate d'ensemble de solutions de problèmes de satisfaction de contraintes, Ph.D. Thesis, Université Montpellier II, 1999.
2. Arnold, A., Dicky, A., Nivat, M.: A note about minimal non-deterministic automata, Bulletin of the EATCS, number 47, June 1992, 166-169.
3. Brzozowski, J. A.: Canonical Regular Expressions and Minimal State Graphs for Definite Events, Mathematical Theory of Automata, MRI Symposia Series, 12, 1962, 529-561.
4. Calude, C. S., Calude, E., Khoussainov, B.: Finite nondeterministic automata: Simulation and minimality, Theoretical Computer Science, 242(1-2), 2000, 219-235.
5. Carrez, C.: On The Minimalisation of Non-Deterministic Automaton, Technical report, Laboratoire de Calcul de la Faculté des Sciences de l'Université de Lille, 1970.
6. Courcelle, B., Niwinski, D., Podelski, A.: A Geometrical View of the Determinization and Minimization of Finite-State Automata, Mathematical Systems Theory 24, 1991.
7. Kameda, T., Weiner, P.: On the State Minimization of Nondeterministic Finite Automata, IEEE Trans. Comp., C(19), 1970, 617-627.
8. Kleene, S. C.: Representation of events in nerve nets and finite automata, Automata Studies, 1996, 2-42.
9. Matz, O., Potthoff, A.: Computing Small Nondeterministic Finite Automata, Tools and Algorithms for the Construction and Analysis of Systems - TACAS 95, volume NS-95-2, 1995, 74-88.
10. Yu, S.: Regular Languages, Handbook of Formal Languages, Volume I, Word, Language, Grammar (G. Rozenberg, A. Salomaa, Eds.), Springer, Berlin, 1997.