Simulátor formálnych výpočtových strojov - Turingov stroj, RAM - Bielik, Peter, 1985- (STU v Bratislave FIIT, 2009)