El documento describe varias operaciones con lenguajes formales, incluyendo la concatenación, unión, intersección y cerradura de Kleene. La concatenación de lenguajes L y M consiste en concatenar todas las cadenas de L con todas las cadenas de M. La unión de lenguajes contiene todas las cadenas que se encuentran en al menos uno de los lenguajes. La intersección contiene solo las cadenas que se encuentran en ambos lenguajes. La cerradura de Kleene de un lenguaje L incluye cadenas formadas por 0 o más