Description of states are moved to the beginning of proof
P system definition is now shared
Definitions of configuration, step and computation are now made shared
Added preliminaries
Added labels to chapters and sections