Símbolo: Es la representación más simple de información y es indivisible .Ej: 6,h,¿,♪,etc.

Alfabeto: Es un conjunto no vacío de símbolos(en nuestro caso serán letras). Ej: external image gif.latex?A%20=%20%5Cleft%20%5C%7B%20a,b,c,d...,z%20%5Cright%20%5C%7D.

Palabras:Son sucesiones o cadenas de caracteres. Ej: external image gif.latex?casa,%20celular,%20jhdiks,%20etc.
Existe la palabra vacía external image gif.latex?%5Cvarepsilon, la cuál como su nombre lo dice,no contiene ninguna letra.
Para poder saber la longitud de una palabra, se debe contar las letras de la misma. Ej:external image gif.latex?%5Cmid%20bol%C3%ADgrafo%5Cmid%20=%209

Concatenación: Es la unión de varias palabras o caracteres, formando una sola palabra.Ej: external image gif.latex?z=%20para y external image gif.latex?p%20=bri, entonces external image gif.latex?%22zpsas%22 es la palabra external image gif.latex?parabrisas.
Es asociativa: (xy) z = x (yz), pero no es conmutativa porque se puede llegar a alterar el sentido de la concatenación.
La longitud de una concatenación puede cumplir con la siguiente propiedad: external image gif.latex?%5Cmid%20ps%5Cmid%20=%20%5Cmid%20p%5Cmid%20+%5Cmid%20s%5Cmid.

Subcadena: Cuando existen cadenas de palabras(que posiblemente sean vacías), pueden existir subcadenas.Ej: "metro"es subcadena de "termómetro" yexternal image gif.latex?%5Cvarepsilon es subcadena de toda la palabra.

Cerradura de Kleene:Es el conjunto de todas las combinaciones de un alfabeto external image gif.latex?%5Csum y se denota como external image gif.latex?%5Csum%20*. Ej: external image gif.latex?%5Csum%20=%20%5Cleft%20%5C%7B%20c,m%20%5Cright%20%5C%7D;
external image gif.latex?%5Csum%20*%20=%20%5Cleft%20%5C%7B%20%5Cvarepsilon%20,%20c,cc,ccc,cccc,....,m,mm,mmm,mmmm,...,cm,cmc,cmm,...%20%5Cright%20%5C%7D.
external image gif.latex?%5Csum%20* es un conjunto infinito ya que las combinaciones generan nuevas palabras y éstas a su vez también lo hacen. Pero es enumerable.