t">t</a></span></code></div><div class="spec-doc"><p><code>create qs ss q0 rel aqs</code> builds a NFA from</p><ul><li>a list of states <code>qs</code></li><li>a list of symbols (alphabet) <code>ss</code></li><li>an initial state <code>q0</code></li><li>a transition relation <code>rel</code> given as a list of triplets <code>(src_state,symbol,dst_states)</code></li><li>a list of accepting states <code>aqs</code></li></ul><p>Raises <code>Failure</code> if <code>q0</code> does not appear in <code>qs</code>.</