A simple program to take in an encoding of a grammar and a string to determine whether that string is valid for the grammar