Syntactic Algorithm

This is the base algorithm to be demonstrated and tested with Web-SynDic. It uses syntactic (parsing) methods to solve ANLDE systems. An ANLDE system has a corresponding CF-grammar, each solution of the system is assigned to the derivation in the grammar. The algorithm searches such derivations and then reconstructs the solutions.