Problème d'accessibilité

Un article de Wikipédia, l'encyclopédie libre.
Sauter à la navigation Sauter à la recherche
Le problème d'accessibilité consiste à atteindre une situation finale depuis une situation initiale.

Le problème d'accessibilité (aussi appelé le problème d'atteignabilité)[1] est, en informatique, le problème algorithmique qui consiste à déterminer si, dans un système, une situation finale est accessible/atteignable depuis une situation initiale. Le problème d'accessibilité a été étudié dans les automates finis, les automates cellulaires, les automates temporisés, les systèmes infinis, etc.

Notes et références[modifier | modifier le code]

  1. (en) RP Organization Committee, « (RP'17) 11th International Workshop on Reachability Problems 2017 », sur rp17.cs.rhul.ac.uk (consulté le 18 janvier 2018)