User:Jshflynn/Definition

Definitions

 * Alphabet
 * Subalphabet
 * Letter
 * Word
 * i-th letter
 * Word length
 * Word equality
 * Empty word
 * Concatenation
 * String power
 * Subalphabet product