Nondeterministic Turing-machine simulator // Final assignment of PoliMi Algorithms and Data Structures course (API) 2017-2018