public void TestToCNF05() {
Grammar g = new Grammar(new List<Production>{
CFGParser.Production("<X_0> → 'x4' <X_4> [16.517998587115667]"),
CFGParser.Production("<X_4> → 'x3' [49.290950734303777]"),
CFGParser.Production("<X_0> → 'x4' 'x1' [23.628313965456705]")
}, Nonterminal.Of("X_0"));
CNFGrammar h = g.ToCNF();
var first = 16.517998587115667;
var third = 23.628313965456705;
var sum = first + third;
Helpers.AssertNear(third / sum, h.Cyk(Sentence.FromWords("x4 x1")));
Helpers.AssertNear(first / sum , h.Cyk(Sentence.FromWords("x4 x3")));
}