Questions To Ask About Computational Processes (Yet Again)

• How do we describe or specify them?
  • Formal languages

• How do we prove that a process has a particular effect?
  • Verification

• How do we choose a process from among several that achieve the same effect?
  • Efficiency Analysis

• Are there effects we cannot achieve with any process we might specify?
  • Theory of computability