的给机器的输入。表格各行枚举所有可能的状态。从上面给出的状态转移表，可以轻易的看出如果机器处在S（第一行），并且下一个输入是字符1，则机器将停留在S。如果字符0到达了，机器将转移到可在第二列见到的S。在图中这指示为从S到S的标记了0的箭头。对于非确定有限自动机（NFA），一个新输入可以导致机器进入多于一个状态，因此是非确定性的。这在状态转移表中指示为一对花括号包围的所有目标状态的集合。下面给出一个例子。这里的非确定机器处在状态S读入一个输入0将导致它同时处在两种状态，即状态S和S。最后的列定义特殊字