LALBLC A Program Testing the Equivalence of dpda's
Résumé
We describe the program LALBLC which tests whether two deterministic pushdown automata recognize the same language.
Communication Dans Un Congrès
Année : 2013
Géraud Sénizergues : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00949535
Soumis le : mercredi 19 février 2014-18:30:34
Dernière modification le : vendredi 24 mars 2023-14:52:58
Dates et versions
Identifiants
- HAL Id : hal-00949535 , version 1
Citer
Patrick Henry, Géraud Sénizergues. LALBLC A Program Testing the Equivalence of dpda's. 18th International Conference on Implementation and Application of Automata, Jul 2013, Canada. pp.169-180. ⟨hal-00949535⟩
Collections
82
Consultations
0
Téléchargements