Pattern Matching Compilation of Functions Defined in Context—Free Languages

(整期优先)网络出版时间:2001-02-12
/ 1
LFCisafunctionallanguagebasedonrecursivefunctionsdefinedincontext-freelanguages.Inthispaper,anewpatternmatchingalgorithmforLFCispresented,whichcanrepresentasequenceofpatternsasanintegerbyanencodingmethod.Itisarathersimplemethodandproducesefficientcase-expressionsforpatternmatchingdefinitionsofLFC.Thealgorithmcanalsobeusedforotherfunctionallanguages,butfornestedpatternsitmaybecomecomplicatedandfurtherstudiesareneeded.