public void TestToCNF03() {
var productions = new HashSet<Production> {
CFGParser.Production("<A> -> <B> <C>"),
CFGParser.Production("<B> -> <C>"),
CFGParser.Production("<B> -> 'b'"),
CFGParser.Production("<B> -> ε"),
CFGParser.Production("<C> -> <B>"),
CFGParser.Production("<C> -> 'c'"),
CFGParser.Production("<C> -> ε"),
};
Grammar g = new Grammar(productions, Nonterminal.Of("A"));
CNFGrammar h = g.ToCNF();
Helpers.AssertNear(0.25, h.Cyk(Sentence.FromLetters("")));
Helpers.AssertNear(0.25, h.Cyk(Sentence.FromLetters("b")));
Helpers.AssertNear(0.25, h.Cyk(Sentence.FromLetters("c")));
Helpers.AssertNear(0.140625, h.Cyk(Sentence.FromLetters("bc")));
Helpers.AssertNear(0.046875, h.Cyk(Sentence.FromLetters("cc")));
Helpers.AssertNear(0.046875, h.Cyk(Sentence.FromLetters("bb")));
Helpers.AssertNear(0.015625, h.Cyk(Sentence.FromLetters("cb")));
}