static void Main(string[] args) {
//var rand = new Random(0);
//Experimental.TestSolver(rand);
// RandomTests.RandomJacobianTest();
var t = new TestCFGToCNF();
var tp = new TestCFGToCNFEmptyProb();
var tr = new RegressionTests();
var testp = new TestParsing();
// testp.TestParsing21();
// testp.TestWeirdSppf06();
// testp.TestWeirdSppf07();
// Console.Read();
//var g = new Grammar(new List<Production>{
// CFGParser.Production("<S> → 'x' <X>"),
// CFGParser.Production("<S> → <X> 'x'"),
// CFGParser.Production("<S> → 'x' 'x'"),
// CFGParser.Production("<X> → 'x'"),
//}, Nonterminal.Of("S"));
//var g = new Grammar(new List<Production>{
// CFGParser.Production("<S> → <S> <S> <S>"),
// CFGParser.Production("<S> → 'x'"),
// CFGParser.Production("<S> → ε"),
//}, Nonterminal.Of("S"));
//var g = new Grammar(new List<Production>{
// CFGParser.Production("<S> → <S> <S>"),
// CFGParser.Production("<S> → 'b'"),
// CFGParser.Production("<S> → ε"),
//}, Nonterminal.Of("S"));
var g = new Grammar(new List<Production>{
CFGParser.Production("<S> → <S> '+' <S>"),
// CFGParser.Production("<S> → <S> '*' <S>"),
// CFGParser.Production("<S> → [0-9]+"),
CFGParser.Production("<S> → '0'"),
// CFGParser.Production("<S> → '2'"),
}, Nonterminal.Of("S"));
//var ests = g.EstimateProbabilities(10000);
//foreach (var est in ests) {
// Console.WriteLine("{0}: {1}", est.Key, est.Value);
//}
// 0 + 123 * 72
var ep = new EarleyParser(g);
var sppf = ep.ParseGetForest(Sentence.FromWords("0 + 0 + 0"));
// var sppf = ep.ParseGetForest(Sentence.FromWords("x x"));
// var sppf = ep.ParseGetForest(Sentence.FromWords("b"));
//Console.WriteLine();
Console.WriteLine(sppf);
// var dot = ForestHelpers.ToDot(sppf);
var rawdot = sppf.GetRawDot();
DotRunner.Run(rawdot, "rawGraph");
var dot = sppf.ToDot();
DotRunner.Run(dot, "addition");
// var dotShared = ForestHelpers.ToDot(sppf, true);
//var dotShared = sppf.ToDot(true);
//DotRunner.Run(dotShared, "additionShared");
//var pp = new PrettyPrinter();
//sppf.Accept(pp);
//Console.WriteLine(pp.Result);
//// Console.WriteLine(sppf.ToStringHelper("", new HashSet<Sppf>()));
//Console.WriteLine();
// Readme.Do();
//var p = CFGParser.Production("<S> -> 'a' [5]");
//Console.WriteLine(p);
//Console.Read();
//return;
//var rt = new CFGLibTest.RandomTests();
//var sw = Stopwatch.StartNew();
//// rt.RandomParsingTest(50000, 4, 3, 5, 4, 6, 1);
//// rt.RandomParsingTest(500, 10, 5, 30, 8, 6);
//rt.RandomParsingTest(1, 10, 5, 50, 8, 6);
//sw.Stop();
//Console.WriteLine("Elapsed: {0}s", sw.Elapsed.TotalMilliseconds / 1000.0);
Console.WriteLine("Finished!");
Console.Read();
}