Class StringAutomaton

Represents a weighted finite state automaton defined on String.

Inheritance

Object

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>

StringAutomaton

Implements

WeightFunctions.IWeightFunction<StringAutomaton>

WeightFunctions.IWeightFunction<>

IEquatable<StringAutomaton>

Inherited Members

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ComputeCondensation(Automaton.State<>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ComputeCondensation(Automaton.State<>, Func<Automaton.Transition<>, Boolean>, Boolean)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Data

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.SequenceManipulator

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.LogValueOverride

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.PruneStatesWithLogEndWeightLessThan

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GlobalMaxStateCount

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.MaxStateCount

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.MaxStateCountBeforeSimplification

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.MaxDeadStateCount

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.States

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Start

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.FromData(Automaton.DataContainer<>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Zero()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Constant(Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Constant(Double, ImmutableDiscreteChar)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantLog(Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantLog(Double, ImmutableDiscreteChar)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOnElementLog(Double, Char)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOnElementLog(Double, ImmutableDiscreteChar)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOnLog(Double, String)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOnLog(Double, String[])

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOnLog(Double, IEnumerable<String>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOnElement(Double, Char)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOnElement(Double, ImmutableDiscreteChar)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOn(Double, String)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Empty(Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOn(Double, String[])

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOn(Double, IEnumerable<String>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.WeightedSum(Double, StringAutomaton, Double, StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.WeightedSumLog(Double, StringAutomaton, Double, StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Sum(StringAutomaton[])

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Sum(IEnumerable<StringAutomaton>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Product(StringAutomaton[])

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Product(IEnumerable<StringAutomaton>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Concatenate(StringAutomaton[])

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Concatenate(IEnumerable<StringAutomaton>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.FromValues(IEnumerable<KeyValuePair<String, Double>>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.FromLogValues(IEnumerable<KeyValuePair<String, Double>>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Repeat(StringAutomaton, Vector)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Repeat(StringAutomaton, Int32, Nullable<Int32>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ToString()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ToString(Action<ImmutableDiscreteChar, StringBuilder>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ToString(IAutomatonFormat)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.HasGroup(Int32)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GetGroups()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.WithGroupsClear()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.WithGroup(Int32)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GetLogNormalizer()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.NormalizeValues()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.TryNormalizeValues(StringAutomaton, Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.TryNormalizeValues(StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.IsZero()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.IsCanonicZero()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.IsCanonicConstant()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOnSupport(Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ConstantOnSupportLog(Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.TryGetConstantOnSupportLog(Double, StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Clone()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Reverse()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Append(String, Int32)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Append(StringAutomaton, Int32)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Product(StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Product(StringAutomaton, Boolean)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Sum(StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Sum(Double, StringAutomaton, Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.SumLog(Double, StringAutomaton, Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Scale(Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ScaleLog(Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.ApplyFunction<TDstSequence, TDstElement, TDstElementDistribution, TDstSequenceManipulator, TDstAutomaton>(Func<Option<ImmutableDiscreteChar>, Weight, Int32, (T1, T2)<Option<TDstElementDistribution>, Weight>>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GetLogValue(String)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GetValue(String)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.TryComputePoint()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.EnumeratePaths()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Equals(StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Equals(Object)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GetHashCode()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.IsEpsilonFree

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.UsesGroups

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.IsDeterministic()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GetEpsilonClosure()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.WithData(Automaton.DataContainer<>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.WithLogValueOverride(Nullable<Double>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.WithPruneStatesWithLogEndWeightLessThan(Nullable<Double>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GetConverger(StringAutomaton, Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GetConverger(StringAutomaton[], Double)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.AsAutomaton()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Point

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.IsPointMass

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.UsesAutomatonRepresentation

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Repeat(Int32, Nullable<Int32>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.MaxDiff(StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.NormalizeStructure()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Write(Action<Double>, Action<Int32>, Action<ImmutableDiscreteChar>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Read(Func<Double>, Func<Int32>, Func<ImmutableDiscreteChar>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.TryDeterminize()

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.TryDeterminize(StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.GetOutgoingTransitionsForDeterminization(Automaton.Determinization.WeightedStateSet<>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.EnumerateSupport(Int32)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.TryEnumerateSupport(Int32, IEnumerable<String>)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.TryEnumerateSupport(Int32, IEnumerable<String>, Int32, Boolean)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Simplify(StringAutomaton)

Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.RemoveDeadStates()

Object.Equals(Object)

Object.Equals(Object, Object)

Object.GetHashCode()

Object.GetType()

Object.MemberwiseClone()

Object.ReferenceEquals(Object, Object)

Object.ToString()

Namespace: Microsoft.ML.Probabilistic.Distributions.Automata

Assembly: Microsoft.ML.Probabilistic.dll

Syntax

[Serializable]
public class StringAutomaton : Automaton<string, char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>, WeightFunctions<string, char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.IWeightFunction<StringAutomaton>, WeightFunctions<string, char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.IWeightFunction, IEquatable<StringAutomaton>

Constructors

StringAutomaton()

Declaration

public StringAutomaton()

Methods

GetOutgoingTransitionsForDeterminization(Automaton<String, Char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Determinization.WeightedStateSet)

Computes a set of outgoing transitions from a given state of the determinization result.

Declaration

protected override IEnumerable<Automaton<string, char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Determinization.OutgoingTransition> GetOutgoingTransitionsForDeterminization(Automaton<string, char, ImmutableDiscreteChar, StringManipulator, StringAutomaton>.Determinization.WeightedStateSet sourceStateSet)

Parameters

Type	Name	Description
Automaton.Determinization.WeightedStateSet<>	sourceStateSet	The source state of the determinized automaton represented as a set of (stateId, weight) pairs, where state ids correspond to states of the original automaton.

Returns

Type	Description
IEnumerable<Automaton.Determinization.OutgoingTransition<>>	A collection of (element distribution, weight, weighted state set) triples corresponding to outgoing transitions from sourceStateSet. The first two elements of a tuple define the element distribution and the weight of a transition. The third element defines the outgoing state.

Overrides

Microsoft.ML.Probabilistic.Distributions.Automata.Automaton<System.String, System.Char, Microsoft.ML.Probabilistic.Distributions.ImmutableDiscreteChar, Microsoft.ML.Probabilistic.Distributions.Automata.StringManipulator, Microsoft.ML.Probabilistic.Distributions.Automata.StringAutomaton>.GetOutgoingTransitionsForDeterminization(Microsoft.ML.Probabilistic.Distributions.Automata.Automaton.Determinization.WeightedStateSet<>)

Read(BinaryReader)

Reads an automaton from.

Declaration

public static StringAutomaton Read(BinaryReader reader)

Parameters

Type	Name	Description
BinaryReader	reader

Returns

Type	Description
StringAutomaton

Write(BinaryWriter)

Writes the current automaton.

Declaration

public void Write(BinaryWriter writer)

Parameters

Type	Name	Description
BinaryWriter	writer

Implements

WeightFunctions<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>.IWeightFunction<TThis>

WeightFunctions<TSequence, TElement, TElementDistribution, TSequenceManipulator, TAutomaton>.IWeightFunction

System.IEquatable<T>