The essence of computation: complexity, analysis, transformation