Lfc is yet another functional programming language which has many characteristics , such as good mathematics basis , reference transparency , no side effect , pattern matching , etc . in theory , an algorithm of enumerating sentences of cfg is presented 本文工作主要是研究形式规约语言lfc的实现和应用,另外还包括一个上下文无关语言句子枚举算法。在理论方面,提出了一个上下文无关语言句子枚举算法。
This paper presents an efficient optimization algorithm and complicated code for airciraft landing scheduling problem , based on depth - first - search implicit emumeration algorithm , subject to mps limiting , position lock limiting and optimization depth limiting 摘要以深度优先搜索的隐枚举算法为基础,结合mps约束、位置冻结限制、优化深度限制,使用复杂的软件编码实现了特定于飞机着陆调度问题的优化排序算法。
First , the minimal and maximal sentences of cfg are calculated . then the character strings are scanned one by one from the minimal sentence in certain order till the maximal sentence . the scanned character strings are printed or skipped according to a rule 该枚举算法首先计算上下文无关语言的最小序句子和最大序句子,然后从最小序句子开始按照一定的顺序扫描字符串,直至扫描到最大序句子为止,对被扫描的字符串进行判断取舍。
枚举: enumeration算法: algorithm不可枚举算法: nonenumerativealgorithm; nonequivalence element穷举算法: exhaust algorithm枚举搜索算法: enumerative search枚举: enumeration 不胜枚举 too numerous to enumerate; defy enumeration; 枚举法 enumeration method; 枚举谓词 enumerating predicate; 枚举算法 enumeration; algorithm; enumerative algorithm 枚举法: enumeration method; enumerative technique枚举符: enumerator枚举器: enumerator; iterator枚举型: enum type; enumerate type枚举值: enumerated value值枚举: value enumeration算法: algorithm◇算法语句 algorithmic statement; 算法语言 algorithmic language (algol)不错,不胜枚举: it’s only limited by your imagination; yes, the list is endless不胜枚举: be too numerous to enumerate [recount; list; mention]; be too many to recount; be too numerous to be counted; defy enumeration; too many to enumerate piece by piece; too numerous to mention one by one; unable to reckon up one by one持久化枚举: persistent enum递归可枚举: recursively enumerable set简单枚举法: induction by simple enumeration可枚举集: enumerable set可枚举性: enumerability枚举编辑: enumeration edit枚举常数: enumerated constant枚举成员: enum members; enumeration members; enumerators枚举纯量: enumerated scalar枚举定理: enumeration theorem