简介:LFCisafunctionallanguagebasedonrecursivefunctionsdefinedincontext-freelanguages.Inthispaper,anewpatternmatchingalgorithmforLFCispresented,whichcanrepresentasequenceofpatternsasanintegerbyanencodingmethod.Itisarathersimplemethodandproducesefficientcase-expressionsforpatternmatchingdefinitionsofLFC.Thealgorithmcanalsobeusedforotherfunctionallanguages,butfornestedpatternsitmaybecomecomplicatedandfurtherstudiesareneeded.