added default constructor for Symbol, added (and improved wording of) comments for CYK-algorithm