Evènement pour le groupe
Séminaire Méthodes Formelles
Date | 2016-11-29 11:00-12:00 |
Titre | Deciding semantic finiteness of first-order grammars w.r.t. bisimulation equivalence |
Résumé | The plan is to explain the main ideas of the MFCS'16 paper http://drops.dagstuhl.de/opus/frontdoor.php?source_opus=6464,
by figures (and without formalities).
The presented decidability proof for semantic finiteness (or "regularity") of first-order grammars (that encompass pushdown automata)
w.r.t. bisimulation equivalence relies on the decidability of bisimulation equivalence (which was first proven by Senizergues).
|
Lieu | 178 |
Orateur | Petr Jancar |
Email | http://www.cs.vsb.cz/jancar/ |
Url | Technical University of Ostrava |
Aucun document lié à cet événement.
RetourRetour à l'index