菊池敏典法展开表生成技术的逻辑图分析法

本文对在我国广泛使用的菊池敏典算法进行了讨论，抛弃了传统的穷举式的分析法并提出了一全新的逻辑图分析法，对菊池敏典算法的主要部分──展开表技术从理论上进行了解释。这将使人们更好地理解该算法并且为算法的改进提供了理论基础。