https://nivotko.wordpress.com/2017/08/22/non-deterministic-version-of-accepting-and-deciding/