/// <summary>
/// Creates a transducer that replaces escaped argument placeholders with the corresponding arguments.
/// </summary>
/// <param name="escapedArgs">The list of arguments.</param>
/// <param name="transpose">Specifies whether the created transducer should be transposed (useful for backward message computation).</param>
/// <returns>The created transducer.</returns>
private static StringTransducer GetPlaceholderReplacingTransducer(IList <StringAutomaton> escapedArgs, bool transpose)
{
var alternatives = new List <StringTransducer>();
for (int i = 0; i < escapedArgs.Count; ++i)
{
StringTransducer alternative = StringTransducer.ConsumeElement((char)('0' + i));
alternative.AppendInPlace(StringTransducer.Produce(escapedArgs[i]), (byte)(i + 1));
alternatives.Add(alternative);
}
StringTransducer result = DisallowBraceReplacersTransducer.Clone();
result.AppendInPlace(StringTransducer.ConsumeElement(LeftBraceReplacer));
result.AppendInPlace(StringTransducer.Sum(alternatives));
result.AppendInPlace(StringTransducer.ConsumeElement(RightBraceReplacer));
result = StringTransducer.Repeat(result, minTimes: 0);
result.AppendInPlace(DisallowBraceReplacersTransducer);
if (transpose)
{
result.TransposeInPlace();
}
return(result);
}
public void Repeat2()
{
StringAutomaton automaton = StringAutomaton.ConstantOn(2.0, "a", string.Empty);
StringTransducer repeat = StringTransducer.Repeat(StringTransducer.Copy(automaton), 1, 2);
StringInferenceTestUtilities.TestTransducerValue(repeat, "a", "a", 10.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "aa", "aa", 4.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, string.Empty, string.Empty, 6.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "aaa", "aaa", 0.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "aa", "a", 0.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, string.Empty, "a", 0.0);
}
public void Repeat1()
{
StringAutomaton automaton = StringAutomaton.ConstantOn(2.0, "a");
StringTransducer repeat = StringTransducer.Repeat(StringTransducer.Consume(automaton), 1, 3);
StringInferenceTestUtilities.TestTransducerValue(repeat, "a", string.Empty, 2.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "aa", string.Empty, 4.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "aaa", string.Empty, 8.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "aaaa", string.Empty, 0.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, string.Empty, string.Empty, 0.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, string.Empty, "aaa", 0.0);
}
/// <summary>
/// Creates a transducer that replaces braces surrounding the given argument placeholder
/// with <see cref="LeftBraceReplacer"/> and <see cref="RightBraceReplacer"/>.
/// </summary>
/// <param name="argument">The index of the argument.</param>
/// <param name="argumentCount">The total number of the arguments.</param>
/// <param name="transpose">Specifies whether the created transducer should be transposed (useful for backward message computation).</param>
/// <returns>The created transducer.</returns>
private static StringTransducer GetArgumentEscapingTransducer(int argument, int argumentCount, bool transpose)
{
Debug.Assert(argumentCount >= 1 && argumentCount <= 10, "Up to 10 arguments currently supported.");
Debug.Assert(argument >= 0 && argument < argumentCount, "Argument index must be less than the number of arguments.");
List <Pair <StringTransducer, StringTransducer> > argumentToEscapingTransducers;
if (!ArgumentCountToEscapingTransducers.TryGetValue(argumentCount, out argumentToEscapingTransducers))
{
argumentToEscapingTransducers = new List <Pair <StringTransducer, StringTransducer> >(argumentCount);
ArgumentCountToEscapingTransducers[argumentCount] = argumentToEscapingTransducers;
for (int i = 0; i < argumentCount; ++i)
{
// Escapes braces in {i}
StringTransducer replaceBracesForDigit = StringTransducer.ConsumeElement('{');
replaceBracesForDigit.AppendInPlace(StringTransducer.ProduceElement(LeftBraceReplacer));
replaceBracesForDigit.AppendInPlace(StringTransducer.CopyElement((char)('0' + i)));
replaceBracesForDigit.AppendInPlace(StringTransducer.ConsumeElement('}'));
replaceBracesForDigit.AppendInPlace(StringTransducer.ProduceElement(RightBraceReplacer));
// Skips any number of placeholders which differ from {i}, with arbitrary intermediate text
DiscreteChar noBraces = DiscreteChar.UniformOver('{', '}').Complement();
StringTransducer braceReplacer = StringTransducer.Copy(noBraces);
if (argumentCount > 1)
{
// Skips every placeholder except {i}
StringTransducer skipOtherDigits = StringTransducer.CopyElement('{');
skipOtherDigits.AppendInPlace(StringTransducer.CopyElement(AllDigitsExcept(i, argumentCount - 1)));
skipOtherDigits.AppendInPlace(StringTransducer.CopyElement('}'));
braceReplacer.AppendInPlace(skipOtherDigits);
braceReplacer = StringTransducer.Repeat(braceReplacer, minTimes: 0);
braceReplacer.AppendInPlace(StringTransducer.Copy(noBraces));
}
// Skips placeholders, then escapes {i} and skips placeholders
StringTransducer escapeAndSkip = replaceBracesForDigit.Clone();
escapeAndSkip.AppendInPlace(braceReplacer);
StringTransducer transducer = braceReplacer.Clone();
transducer.AppendInPlace(escapeAndSkip); // TODO: use Optional() here if {i} can be omitted
StringTransducer transducerTranspose = StringTransducer.Transpose(transducer);
argumentToEscapingTransducers.Add(Pair.Create(transducer, transducerTranspose));
}
}
return(transpose ? argumentToEscapingTransducers[argument].Second : argumentToEscapingTransducers[argument].First);
}
public void Repeat3()
{
StringAutomaton automaton = StringAutomaton.ConstantOn(2.0, "a", "aa");
StringTransducer repeat = StringTransducer.Repeat(StringTransducer.Replace(automaton, automaton), minTimes: 0);
StringInferenceTestUtilities.TestTransducerValue(repeat, string.Empty, string.Empty, 1.0); // TODO: it's not clear from the definition that this should hold
StringInferenceTestUtilities.TestTransducerValue(repeat, "a", "a", 4.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "a", "aa", 4.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "aa", "aa", 20.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "aaa", "aa", 32.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "aa", "aaa", 32.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "a", "aaa", 0.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, string.Empty, "a", 0.0);
StringInferenceTestUtilities.TestTransducerValue(repeat, "b", "b", 0.0);
}
/// <summary>
/// Creates a transducer that replaces argument placeholders with the corresponding arguments.
/// </summary>
/// <param name="args">The list of arguments.</param>
/// <param name="argNames">The list of argument names.</param>
/// <param name="forBackwardMessage">Specifies whether the created transducer should be transposed so that the backward message can be computed.</param>
/// <param name="withGroups">Specifies whether filled in arguments should be labeled with different groups.</param>
/// <returns>The created transducer.</returns>
private static StringTransducer GetPlaceholderReplacingTransducer(
IList <StringAutomaton> args, IReadOnlyList <string> argNames, bool forBackwardMessage, bool withGroups)
{
var alternatives = new List <StringTransducer>();
for (int argumentIndex = 0; argumentIndex < args.Count; ++argumentIndex)
{
StringTransducer alternative;
if (!forBackwardMessage)
{
alternative = StringTransducer.Consume(argNames[argumentIndex]);
alternative.AppendInPlace(StringTransducer.Produce(args[argumentIndex]), withGroups ? argumentIndex + 1 : 0);
}
else
{
// After transposing 'Produce' will become 'Consume',
// and starting from 'Consume' makes projection computations more efficeint because it allows to detect dead braches earlier
Debug.Assert(!withGroups, "Groups are never needed for backward message.");
alternative = StringTransducer.Produce(args[argumentIndex]);
alternative.AppendInPlace(StringTransducer.Consume(argNames[argumentIndex]));
}
alternatives.Add(alternative);
}
StringTransducer result = DisallowBracesTransducer.Clone();
result.AppendInPlace(StringTransducer.ConsumeElement('{'));
result.AppendInPlace(StringTransducer.Sum(alternatives));
result.AppendInPlace(StringTransducer.ConsumeElement('}'));
result = StringTransducer.Repeat(result, minTimes: 0);
result.AppendInPlace(DisallowBracesTransducer);
if (forBackwardMessage)
{
result = StringTransducer.Transpose(result);
}
return(result);
}
