This is a supporting document for the TR#449. Detailed description of the parsing algorithm and some important derivations are included in the text.