矩阵模型表示下有限自动机等价判定方法
구진모형표시하유한자동궤등개판정방법
A Method for Determining the Equivalence between Finite Automata Based on Its Matrix Model
저자의 최근 논문