Evènement pour le groupe Séminaire Méthodes Formelles


Date 2016-11-29  11:00-12:00
TitreDeciding 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).  
Lieu178 
OrateurPetr Jancar 
Emailhttp://www.cs.vsb.cz/jancar/ 
UrlTechnical University of Ostrava 



Aucun document lié à cet événement.

Retour
Retour à l'index