An adaptation of CYK algorithm to multiset languages

摘要

CYK algorithm concerns recognizing membership of a word in a context-free language. Ideas of the algorithm are used for testing membership of a multiset in the language generated by a given multiset grammar.