Theoretical computer