状态S和S。最后的列定义特殊字符ε的合法转移。这个特殊字符允许NFA在没有输入的时候移动到不同状态。在状态S，NFA可以移动到S而不消耗任何输入字符。上述两种情况使描述的有限自动机是非确定性的。
变换成状态图.有可能从表格绘制状态图。下面给出步骤：