A Python library to manipulate formal grammar. In general, it can be used to
better understand algorithms in a formal way.