private static void ComplexMovementTest()
{
var voc = Vocabulary.GetVocabularyFromFile(@"Vocabulary.json");
var grammar = new Grammar(voc);
Program.AddTypesToGrammar(grammar);
grammar.AddProjectionTypeToTypeDictionary("CP", "N"); // no overt POS here, head of IP is V.
grammar.AddProjectionTypeToTypeDictionary("IP", "N"); // no overt POS here, head of IP is V.
grammar.AddRule(new Rule(1, "START", new[] {"CP"}, 0, 0));
grammar.AddRule(new Rule(1, "START", new[] {"IP"}, 0, 0));
//grammar.AddRule(new Rule(1, "CP", new[] { "IP" }, 0, 0));
//grammar.AddRule(new Rule(1, "IP", new[] { "NP" }, 0, 0));
//grammar.AddRule(new Rule(1, "VP", new[] { "V1", "NP" }, 0, 1));
//grammar.AddRule(new Rule(1, "VP", new[] { "V2", "PP" }, 0, 1));
//grammar.AddRule(new Rule(1, "PP", new[] { "P", "NP" }, 0, 1));
//grammar.AddRule(new Rule(1, "NP", new[] { "D", "N" }, 1, 0));
grammar.AddNonTerminalToLandingSites("CP");
grammar.AddNonTerminalToLandingSites("IP");
grammar.AddMoveable("NP");
grammar.AddMoveable("PP");
grammar.GenerateDerivedRulesFromSchema();
var parser = new Parser(grammar, true);
var n = parser.ParseSentence("Who Who Who");
n.Print();
}
public static void CreateMovementGrammar(Grammar grammar)
{
AddTypesToGrammar(grammar);
grammar.AddProjectionTypeToTypeDictionary("IP", "V"); // no overt POS here, head of IP is V.
grammar.AddRule(new Rule(1, "START", new[] {"IP"}, 0, 0));
grammar.AddRule(new Rule(1, "START", new[] {"CP"}, 0, 0));
grammar.AddRule(new Rule(0, "CP", new[] {"C", "IP"}, 0, 1));
grammar.AddRule(new Rule(0, "IP", new[] {"NP", "VP"}, 1, 1));
grammar.AddRule(new Rule(0, "VP", new[] {"V1", "NP"}, 0, 1));
grammar.AddRule(new Rule(0, "VP", new[] {"V2", "PP"}, 0, 1));
grammar.AddRule(new Rule(2, "VP", new[] {"V3", "CP"}, 0, 1));
grammar.AddRule(new Rule(0, "NP", new[] {"D", "N"}, 1, 0));
grammar.AddRule(new Rule(0, "PP", new[] {"P", "NP"}, 0, 1));
grammar.AddNonTerminalToLandingSites("CP");
grammar.AddMoveable("NP");
grammar.AddMoveable("PP");
}
private static void TestMovement2()
{
var voc = Vocabulary.GetVocabularyFromFile(@"Vocabulary.json");
var grammar = new Grammar(voc);
Program.AddTypesToGrammar(grammar);
grammar.AddProjectionTypeToTypeDictionary("CP", "V"); // no overt POS here, head of IP is V.
grammar.AddProjectionTypeToTypeDictionary("IP", "V"); // no overt POS here, head of IP is V.
grammar.AddRule(new Rule(1, "START", new[] {"VP", "VP"}, 1, 1));
grammar.AddRule(new Rule(1, "VP", new[] {"VP", "PP"}, 0, 1));
grammar.AddRule(new Rule(1, "VP", new[] {"NP", "V1"}, 1, 0));
grammar.AddRule(new Rule(1, "PP", new[] {"V2", "P"}, 1, 0));
grammar.AddRule(new Rule(1, "NP", new[] {"D", "N"}, 1, 0));
var parser = new Parser(grammar, true);
var n = parser.ParseSentence("the man arrived to Mary"); //supposed to fail in parsing!!
n.Print();
}
private static Grammar InfiniteMovementGrammar3()
{
var voc = Vocabulary.GetVocabularyFromFile(@"..\..\..\Input\Vocabulary.json");
var grammar = new Grammar(voc);
Program.AddTypesToGrammar(grammar);
grammar.AddProjectionTypeToTypeDictionary("CP", "V"); // no overt POS here, head of IP is V.
grammar.AddProjectionTypeToTypeDictionary("IP", "V"); // no overt POS here, head of IP is V.
grammar.AddRule(new Rule(1, "NP", new[] {"V0P", "NP"}, 1, 0));
grammar.AddRule(new Rule(1, "V0P", new[] {"V2"}, 0, 0));
grammar.AddRule(new Rule(1, "START", new[] {"NP", "V0"}, 1, 1));
grammar.AddRule(new Rule(1, "START", new[] {"V0", "NP"}, 0, 1));
grammar.AddRule(new Rule(1, "START", new[] {"PP", "NP"}, 0, 1));
grammar.AddRule(new Rule(1, "START", new[] {"NP", "NP"}, 1, 1));
grammar.AddRule(new Rule(1, "V0P", new[] {"V1"}, 0, 0));
grammar.AddRule(new Rule(1, "PP", new[] {"V0P", "P"}, 1, 1));
grammar.AddRule(new Rule(1, "V0P", new[] {"NP", "V0P"}, 1, 1));
grammar.AddRule(new Rule(1, "NP", new[] {"D", "N"}, 1, 1));
var does = grammar.DoesGrammarAllowInfiniteMovement();
return grammar;
}
public bool InsertRuleWithANewSymbol(Grammar grammar)
{
for (var i = 0; i < NumberOfRetries; i++)
{
var existingLHSNonTerminal = grammar.GetRandomRule().Name.NonTerminal;
if (existingLHSNonTerminal == grammar.StartSymbol) continue;
var newLHSNonTerminal = grammar.GetNextAvailableProjectionName();
var typeOfExistingLHS = grammar.NonTerminalsTypeDictionary[existingLHSNonTerminal];
grammar.AddProjectionTypeToTypeDictionary(newLHSNonTerminal, typeOfExistingLHS);
//grammar.AddRule(new Rule(0, grammar.StartSymbol, new[] { newLHSNonTerminal, grammar.StartSymbol }, 0, 1));
// grammar.AddRule(new Rule(0, grammar.StartSymbol, new[] { newLHSNonTerminal }, 0, 0));
grammar.AddRule(new Rule(0, newLHSNonTerminal, new[] {existingLHSNonTerminal}, 0, 0));
return true;
}
return false;
}