{"version":"1.0","type":"link","title":"Reachability problem - Newikis","description":"Reachability is a fundamental problem which can be formulated as follows: Given a computational system with a set of allowed rules or transformations, decide whether a certain state of a system is reachable from a given initial state of the system. It appears in several different contexts: finite-…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400,"thumbnail_url":"https://thumb.wikimedia.org/wikipedia/commons/thumb/6/60/Reachability_problem.svg/1280px-Reachability_problem.svg.png","thumbnail_width":1280,"thumbnail_height":886}