1 - 2 / 2 1 |
1. Verifying time complexity of Turing machines David Gajser, 2015, doctoral dissertation Keywords: Turing machine, relativization, NP-completeness, crossing sequence, decidability, lower bound, time complexity, running time, linear time |
2. Grafični vmesnik za Turingov stroj BLAŽ PROSENC, 2020, undergraduate thesis Keywords: Turing, stroj, determinizem, nedeterminizem, grafični vmesnik |