学科分类
/ 1
1 个结果
  • 简介:LFCisafunctionallanguagebasedonrecursivefunctionsdefinedincontext-freelanguages.Inthispaper,anewpatternmatchingalgorithmforLFCispresented,whichcanrepresentasequenceofpatternsasanintegerbyanencodingmethod.Itisarathersimplemethodandproducesefficientcase-expressionsforpatternmatchingdefinitionsofLFC.Thealgorithmcanalsobeusedforotherfunctionallanguages,butfornestedpatternsitmaybecomecomplicatedandfurtherstudiesareneeded.

  • 标签: 泛函语言 LFC 递归函数