cykp v0.9 starting adding production S -> A B adding production S -> a adding production A -> a reading input finished. Start symbol: S Variables: A S Terminals: a Sorted productions: A -> a S -> A B B item in production is not a terminal or variable S -> a lemma 4.2 variables removed: A deleting useless production: A -> a Eliminate epslion Productions Eliminate Unit Productions after eliminate, sorted productions: S -> a after eliminate, Variables: S Chomsky 1, replace terminal with variable Chomsky part 1, sorted productions: S -> a Chomsky Part 2 generated productions after Chomsky, sorted productions: S -> a after Chomsky, Variables: S about to parse a run CYK algorithm to build array, size=1 Finished first row of VV table VV(1,1)= S finish CYK algorithm, check for S in VV[1][n]and thus Accepted string accepted by G, string is in L(G) about to parse a run CYK algorithm to build array, size=1 Finished first row of VV table VV(1,1)= S finish CYK algorithm, check for S in VV[1][n]and thus Accepted string accepted by G, string is in L(G)