A dictionary in which for a given input character you have only one transition path out of a node. Some languages require this capability to represent their vocabulary in a compact way. See also non-deterministic dictionary.