case must clear computable algorithm precise list precise steps order computation always crucial functioning algorithm instructions usually assumed listed explicitly described starting top going bottom idea described formally ''flow control'' far discussion formalization algorithm assumed premises imperative programming common conception one attempts describe task discrete mechanical means unique conception
Formal science Computer science Algorithms