Considere um autômato não determinístico NFA = (ܳ Q, Σ,
α, F ) , onde ܳQ =
representa os estados, Σ = {0,1} é o alfabeto, 
é a função de transição, ܽα é o estado inicial e F = 
os estados de aceitação, representados pelo diagrama a seguir
A linguagem desse autômato pode ser descrita como
