cykp v0.9 starting

about to parse 0110
string accepted by G, string is in L(G)

about to parse 10100111
string accepted by G, string is in L(G)

about to parse 0111
string rejected by G, string is not in L(G)

about to parse 1000
string rejected by G, string is not in L(G)