Finite state dictionaries in Java
Clone or download
Latest commit c0a3ae2 Jan 21, 2017
Type Name Latest commit message Commit time
Failed to load latest commit information.
templates Code cleanup (mostly using Java 1.7 features). Nov 13, 2016
LICENSE Import fsadict-java project. Feb 10, 2013
NOTICE Rename 'fsadict-java' to 'dictomaton'. Apr 21, 2013
pom.xml Update test dependencies. Nov 13, 2016



This Java library implements dictionaries that are stored in finite state automata. Dictomaton has the following features:

  • Finite state dictionaries that implement the Java Set interface.
  • Perfect hash dictionaries, that provide a unique hash for each character sequence that is in the dictionary. Perfect hash dictionaries can be used in two directions: (1) obtaining the hash code for a character sequence and (2) obtaining the character sequence for a hash code.
  • Levenshtein automata, that allow you to efficiently find all the sequences in the dictionary that are within the given edit distance of a sequence.
  • String to primitive type mappings, where the keys are stored in a perfect hashing automaton and the values in an (unboxed) array.

Using Dictomaton

Dictomaton is in the Maven Central Repository:



libraryDependencies += "eu.danieldk.dictomaton" % "dictomaton" % "1.1.1"


compile 'eu.danieldk.dictomaton:dictomaton:1.1.1'


The following table compares the sizes of the object graphs of the Dictionary type of this library to that of TreeSet and HashSet. The comparisons were obtained by storing all the words in the web2 and web2a dictionaries and were measured using memory-measurer

Data typeObjectsReferencescharintbooleanfloat


Benchmarks are in a different test group than normal unit tests. You can run benchmarks via Maven, adding the Benchmarks group:

mvn test -Djunit.groups=eu.danieldk.dictomaton.categories.Benchmarks



  • Exposing state through StateInfo object, which allows user of PerfectHashDictionary to resume transitions, which makes it e.g. far more efficient to look up a string and its prefixes. (contributed by René Kriegler).
  • DictionaryBuilder now accepts adding more general CharSequence instead of String and uses CharSequence internally (contributed by René Kriegler).


  • Added immutable mapping from String to a generic type.
  • Added a key-ordered builder for immutable mappings. This builder is more efficient since it construct the key automaton on the fly.


  • Added Levenshtein automata for looking up sequences in a Dictionary that are within a certain edit distance of a sequence.
  • Provide a variant of perfect hash automata that puts right language cardinalities in transitions rather than states. This provides faster hashing and hashcode lookups at the cost of some memory.
  • Added String to String mapping (ImmutableStringStringMap).
  • Generic object values.


  • Fix an off-by-one error in integer width of the state table.


  • Rename the project from fsadict-java to dictomaton.
  • Store the state and transition tables as packed int arrays, resulting in drastically smaller automata.

Release plan

Plans for 1.3.0: Perhaps an explicit, fast, and compact data storage format as an alternative to Java serialization. C or C++ version.


  • Daniël de Kok (maintainer)
  • René Kriegler