Language acceptance for Non-deterministic Finite State Automata (NFAs)

Procedure