Parsing

Often the syntax of a language is defined by a non-deterministic procedure G which produces all legitimate meassages. Then the procedure which for any given object decides whether it could be produced by G, and if it could then by which steps of G, is known as parsing.