>From automata and language theory, a program is a finite string of characters and a language is the set of all valid programs. The null string may also be included in that set. => The null program is the smallest self-duplicating program provided that the language contains the null string in its set. --