https://123dok.net/document/q2n3xn9p-automates-probabilistes-problèmes-décidables-et-indécidables.html