Chapter 4: Orders of Growth and Tree Recursion

Questions To Ask About Computational Processes (Again)

Recall from Chapter 1 the questions to ask about computational processes:

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