Add exercise for base conversion
Add application layer section, start next chapter
Add definitions. Fix a typo
More explicit in Turing machine example