internal static bool TestEqualWithWord(IAutomat a1, IAutomat a2, string w)
{
bool ac1 = a1.AcceptWord(w);
bool ac2 = a2.AcceptWord(w);
if (ac1 != ac2)
{
Utils.DebugMessage($"word '{w}' is {ac1}:{a1.Name} != {ac2}:{a2.Name}", a1, Uni.Utils.eDebugLogLevel.Normal);
return(false);
}
else
{
return(true);
}
}
/// <returns>bool empiric _guess_ if its pumpbar</returns>
public static PumpResult TestPumpbar(IAutomat Automat, int pumpLaenge, int words = 200, int maxWordLen = 50, int exponentMax = 20, int exponentCount = 10)
{
int allAcceptedWordsPass = 0;
if (Automat.AcceptedStates.Length == 0)
{
return(PumpResult.NoAcceptedWordExists);
}
bool foundAtLeastOneAcceptedWordForTest = false;
foreach (string w in Automat.GetRandomWords(words, pumpLaenge, maxWordLen, System.Array.Empty <string>()))
{
if (Automat.AcceptWord(w))
{
foundAtLeastOneAcceptedWordForTest = true;
allAcceptedWordsPass = 0;
foreach (string[] strParts in StringParts3(w))
{
string x = strParts[0];
string y = strParts[1];
string z = strParts[2];
Utils.DebugMessage($"word {w}=({x}.{y}.{z})", Automat, Uni.Utils.eDebugLogLevel.Verbose);
if (!((x + y).Length <= pumpLaenge))
{
Utils.DebugMessage($"word |x+y={x.Length}+{y.Length}|<={pumpLaenge}", Automat, Uni.Utils.eDebugLogLevel.Verbose);
continue; // throw new PumpingException($"|xy|={(x + y).Length}>{pumpLaenge}");
}
if (y.Length == 0)
{
Utils.DebugMessage($"word |y={y}|=0", Automat, Uni.Utils.eDebugLogLevel.Verbose);
continue; // throw new PumpingException($"|y|=0, y={Utils.EPSILON}");
}
for (int i = 0; i < exponentCount; i++)
{
int k = Uni.Utils.RND.Next(1, exponentMax);
string wk = x + string.Concat(System.Linq.Enumerable.Repeat(y, k)) + z;
if (Automat.AcceptWord(wk))
{
Utils.DebugMessage($"{w} {pumpLaenge}-pumpbar for {x}.{y}.{z}", Automat, Uni.Utils.eDebugLogLevel.Verbose);
allAcceptedWordsPass++;
}
}
if (allAcceptedWordsPass >= exponentCount)
{
break;
}
} //next strParts
if (allAcceptedWordsPass < exponentCount)
{
return(PumpResult.NotPumpable);
}
} //endif AcceptWord
} //next w
if (!foundAtLeastOneAcceptedWordForTest)
{
return(PumpResult.NoAcceptedWordFound);
}
if (allAcceptedWordsPass > 0)
{
Utils.DebugMessage($"{pumpLaenge}-pumpbar for |{allAcceptedWordsPass}| words", Automat, Uni.Utils.eDebugLogLevel.Verbose);
return(PumpResult.Pumpable);
}
else
{
Utils.DebugMessage($"not {pumpLaenge}-pumpbar", Automat, Uni.Utils.eDebugLogLevel.Verbose);
}
return(PumpResult.NotPumpable);
}