单词 | confluent |
释义 | BETA Examples ofconfluentDictionary> Examples ofconfluent confluentisn’t in the Cambridge Dictionary yet. You can help! Add a definition The call-byneed lambda calculus isconfluent, has a notion of standard reduction, and entails the same observational equivalence relation as the call-by-name calculus. From theCambridge English Corpus These cultures form aconfluentlayer of astrocytes on top of which oligodendrocyte precursors and microglia grow. From theCambridge English Corpus We show that the g -calculus, under suitable linearity conditions, isconfluent. From theCambridge English Corpus The key property of interaction nets, besides locality of reduction, is that reduction is stronglyconfluent. From theCambridge English Corpus However, the resulting grammar need not beconfluent, and may generate more hypergraphs than the original grammar. From theCambridge English Corpus The pulmonary arteries wereconfluent, with severe hypoplasia of the right pulmonary artery, which measured about 1.5 mm in diameter. From theCambridge English Corpus The following notation will allow us to present in a compact formalism the resulting weaklyconfluentreduction system. From theCambridge English Corpus The last two rules are notconfluent, and correspond exactly to non-deterministic choice. From theCambridge English Corpus If the rewrite system is notconfluent, different normal forms, when they exist, may be considered as relevant results of the computation. From theCambridge English Corpus We first define 0 and its admissible expressions and show that the restriction of 0 to admissible expressions is uniformlyconfluent. From theCambridge English Corpus Their appearance may be described as smooth/confluentor irregular. From theCambridge English Corpus Note that this new transformation system is notconfluentany more! From theCambridge English Corpus A general theory ofconfluentrewriting systems for logic programming and its applications. From theCambridge English Corpus Cut-elimination for lazy proof-nets isconfluentand strongly normalising. From theCambridge English Corpus He had double outlet right ventricle, subaortic ventricular septal defect, pulmonary atresia, small patent arterial duct andconfluentbut small pulmonary arteries. From theCambridge English Corpus The surgical management is different in the setting of non-confluentpulmonary arteries. From theCambridge English Corpus The equation admits exact solutions in terms ofconfluenthypergeometric functions. From theCambridge English Corpus This calculus isconfluentsince the combination of an orthogonal system (the recursor rules) with -reduction preserves confluence. From theCambridge English Corpus These examples are from corpora and from sources on the web. Any opinions in the examples do not represent the opinion of the Cambridge Dictionary editors or of Cambridge University Press or its licensors. |
随便看 |
|
英汉词典包含213609条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。