p>A NFA is just a Labeled Transition System (LTSA) for which</p><ul><li>transition labels are taken from an input <i>alphabet</i></li><li>the set of initial states is reduced to a singleton</li><li>state attribute is boolean indicating whether the state is accepting or not</li></ul><div class="odoc-spec"><div class="spec module-type anchored" id="module-type-SYMBOL"><a href="#module-type-SYMBOL" class="anchor"></a><code><span><span class="keyword">module</span> <span class="keyword">type</span> <a href="mod