Décomposition d'un automate de Büchi Généralisé multi-force

From LRDE

Revision as of 17:06, 9 January 2018 by Bot (talk | contribs) (Created page with "{{CSIReportFR | authors = Claire Parquier | titre = Décomposition d'un automate de Büchi Généralisé multi-force | year = 2015 | resume = Les tests de vacuité permettent ...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Résumé

Les tests de vacuité permettent de savoir si le langage reconnu par un automate et vide ou non. Ces tests sont souvent utilisés dans le model checking : malheureusement, ils sont très coûteuxparticulièrement sur les automates qui ne sont ni faibles ni terminaux. Dans le but de réduire ce test coûteuxce travail implémente une option permettant d'extraire trois automates plus petits regroupant les composantes terminales, faibles et fortes de l'automate original, de facc on à ce que trois tests de vacuité correspondants puissent être effectués indépendamment en utilisant l'algorithme le plus approprié.