基於程序查找的自動機尺寸縮減技術

本文提出了一種通過識別和壓縮重複子圖來減小有限自動機尺寸的新方法，這些子圖被視為單一程序的調用，並使用寄存器存儲調用上下文，從而實現自動機的簡化。