CAJ | 학술논문

KMP又被称作克努特--莫里斯--普拉特操作（简称KMP算法）它是一种模式匹配算法，这个算法的关键是根据给定的模式串W1，m，定义一个next函数。本文阐述了利用KMP算法的匹配思想，解决不包含莫字符串系列的正则文法，该正则文法主要是用在词法分析过程中找出程序中的错误的代码，且对应的自动机中无等价的状态。本文根据KMP、正则文法和自动机的定义和基本原理证明了此技术的可行性和正确性，为编译程序设计提供自动生成最小化正则文法的技术和实现程序以供参考。
KMP우피칭작극노특--막리사--보랍특조작（간칭KMP산법）타시일충모식필배산법，저개산법적관건시근거급정적모식천W1，m，정의일개next함수。본문천술료이용KMP산법적필배사상，해결불포함막자부천계렬적정칙문법，해정칙문법주요시용재사법분석과정중조출정서중적착오적대마，차대응적자동궤중무등개적상태。본문근거KMP、정칙문법화자동궤적정의화기본원리증명료차기술적가행성화정학성，위편역정서설계제공자동생성최소화정칙문법적기술화실현정서이공삼고。