状态分配是指将状态表中每一个字符表示的状态赋以适当的二进制代码。相邻法中符合下列条件的状态应尽可能分配相邻的二进制代码(可用K图分配): 
① 具有相同次态的现态。 
② 同一现态下的次态。 
③ 具有相同输出的现态。 
三条原则以第一条为主, 兼顾二、三条。
出自:计算机科学与技术(第二学期)