An associative array, map, symbol table, or dictionary is an abstract data type composed of a collection of (key, value) pairs, such that each possible key appears at most once in the collection.” “,Automated Reasoning” Related Articles: Glossary: Theory Of Computation