Dado un estado "q", se llama clausura-ε("q") al conjunto de todos los estados a los que se puede acceder a partir de "q", procesándose a lo más un único símbolo de la entrada.