Siho’s Theory of Computation