Random Access Machine - a simulator for theoretic computer science