Encoding - Zistack/program-modeling-language GitHub Wiki

An encoding is a kind of thing in this language.

An encoding is a mapping between some other kind of thing in the language (which kind is determined by the method by which the encoding is constructed), and a directed graph. The nodes of the graph are all assigned values from some alphabet.