Algorithm to check if a string can be generated by a context-free grammar