4.4.1. Abstraction and computation
4.4.2 Regular languages
4.4.3 Context Free languages
4.4.4 Classifications of algorithms