##// END OF EJS Templates
implab » ImplabNet
RSS
fixed promise chaining behavior, the error handler doesn't handle result or cancellation handlers exceptions these exceptions are propagated to the next handlers.
fixed promise chaining behavior, the error handler doesn't handle result or cancellation handlers exceptions these exceptions are propagated to the next handlers.
cin - - Load All Authors

File last commit:

r180:c32688129f14 ref20160224
r196:40d7fed4a09e default
Show More
IndexedAlphabetBase.cs
50 lines | 1.8 KiB | text/x-csharp | CSharpLexer
/ Implab / Automaton / IndexedAlphabetBase.cs
History | Annotation | Raw |Copy content |Copy permalink
using Implab;
using System;
using System.Collections.Generic;
using System.Diagnostics;
using System.Linq;
namespace Implab.Automaton {
/// <summary>
/// Indexed alphabet is the finite set of symbols where each symbol has a zero-based unique index.
/// </summary>
/// <remarks>
/// Indexed alphabets are usefull in bulting efficient translations from source alphabet
/// to the input alphabet of the automaton. It's assumed that the index to the symbol match
/// is well known and documented.
/// </remarks>
public abstract class IndexedAlphabetBase<T> : MapAlphabet<T> {
protected IndexedAlphabetBase() :base(true, null) {
}
public abstract int GetSymbolIndex(T symbol);
/// <summary>
/// Gets the translation map from the index of the symbol to it's class this is usefull for the optimized input symbols transtaion.
/// </summary>
/// <remarks>
/// The map is continous and start from the symbol with zero code. The last symbol
/// in the map is the last classified symbol in the alphabet, i.e. the map can be
/// shorter then the whole alphabet.
/// </remarks>
/// <returns>The translation map.</returns>
public int[] GetTranslationMap() {
var map = new Dictionary<int, int>();
int max = 0;
foreach (var p in Mappings) {
var index = GetSymbolIndex(p.Key);
max = Math.Max(max, index);
map[index] = p.Value;
}
var result = new int[max + 1];
for (int i = 0; i < result.Length; i++)
map.TryGetValue(i, out result[i]);
return result;
}
}
}