User talk:Lladoog

Assume NFA