Programação (TI)

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