public static Gramm Fact(Gramm gr)
{
var symbRules = GrammProcessor.GetAllSymbRules(gr);
var newSymbRules = new Dictionary <string, List <List <string> > >(symbRules);
foreach (var rule in symbRules)
{
var left = rule.Key;
bool flag = true;
while (flag)
{
var rights = newSymbRules[left];
var fullRights = GetFullRights(rights);
var msub = GetMSub(fullRights);
if (msub.Length == 0)
{
flag = false;
break;
}
var subRights = GetSubRights(fullRights, msub);
var nonSubRights = fullRights.Except(subRights).ToList();
var cutRights = GetCutRights(subRights, msub);
List <List <string> > newRights = new List <List <string> >();
var newTerm = FindNewTerm(left, gr);
newRights.Add(GetRight(msub + newTerm));
newRights.AddRange(GetRights(nonSubRights));
newSymbRules[left] = newRights;
newSymbRules.Add(newTerm, GetRights(cutRights));
gr.NonTerms.Add(newTerm);
}
}
gr.Rules = new List <Rule>();
foreach (var rule in newSymbRules)
{
foreach (var right in rule.Value)
{
gr.Rules.Add(new Rule(rule.Key, right));
}
}
return(gr);
}
public static Gramm RemoveUnreachable(Gramm gr)
{
var symbRules = GrammProcessor.GetAllSymbRules(gr);
bool changed = true;
List <string> UsedNT = new List <string>()
{
gr.St
};
while (changed)
{
int len = UsedNT.Count;
foreach (var rule in symbRules)
{
if (UsedNT.Contains(rule.Key))
{
UsedNT = UsedNT.Union(FindNTInRules(rule.Value, gr)).ToList();
}
}
if (UsedNT.Count == len)
{
changed = false;
}
}
List <string> unreachable = gr.NonTerms.Except(UsedNT).ToList();
gr.NonTerms = UsedNT;
foreach (var un in unreachable)
{
symbRules.Remove(un);
}
gr.Rules = new List <Rule>();
foreach (var rule in symbRules)
{
foreach (var right in rule.Value)
{
gr.Rules.Add(new Rule(rule.Key, right));
}
}
return(gr);
}
