Added section about formal grammars
Added Chomsky hierarchy
Added Lindenmeyer chain of inclusions
Added matrix grammars