Random Access Machine Model