Theoretical models for computing machines and basic computer organization