El documento describe operaciones matemáticas como unión, intersección, complemento y diferencia que pueden usarse para construir nuevos lenguajes a partir de otros lenguajes existentes. También explica que la concatenación y la estrella son operaciones que forman nuevos lenguajes. Luego enumera que los autómatas finitos reconocen lenguajes que son cerrados bajo diferentes operaciones como unión, intersección, complemento, diferencia, concatenación y estrella.