Please help us improve the quality of example sentences! Edit on Github

如何使用一个亚历克斯一元词法分析器与快乐吗?。How to use an Alex monadic lexer with Happy?

含指针程序的模块单子切片。Modular monadic slicing for programs with pointers.

Other words in sentence

所以S5-代数是一元布尔代数的同义词。Hence S5-algebra is a synonym for monadic Boolean algebra.

当然，IO单子的方法有其自身的缺点。Of course, the monadic approach to IO has its disadvantages.

一元布尔代数与拓扑学有重要联系。Monadic Boolean algebras have an important connection to topology.

一元布尔代数还与模态逻辑有重要联系。Monadic Boolean algebras also have an important connection to modal logic.

目前单一探测手段难以准确探测隐伏导水陷落柱。To use monadic means is difficult to correctly locate hidden water flowing subsided columns.

Other words in sentence

给出一些特殊的整环与它的一元多项式环之间的关系。In this paper we analyze the relation of some special domains and its monadic polynomial rings.

注意，这只是机械地将副作用的代码到你没有获得一元的风格。Note, that by just mechanically converting side-effecting code to a monadic style you gain nothing.

类似地，单质编程风格帮助我们用一种清晰的、组合的方式来描述异常和状态。Likewise, a monadic programming style enables us to encode exceptions and state in a legible, compositional manner.

这里并没有涉及到很深的编程技术，不需要面向对象、单体应用程序、协同例程，或者其他巧妙的技术。There's no deep programming here—no need for object-orientation, monadic application, co-routines, or other subtleties.

因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。This paper presents a new dynamic slicing method, the modular monadic approach, which is based on modular monadic semantics.

Other words in sentence

根据机械风表的性能特点，检测的数据回归模型是一元线性模型。Based on performance features of the mechanical air-flow meter, the regression model for the inspected data is monadic linear model.

实例计算证实了所建模型的有效性，为一元或多元非线性建模提供了一条可行途径。Numerical analysis demonstrates the validity of the model, which provides an effective method for establishing monadic and multivariate nonlinear models.

因目前切片方法缺乏模块性和灵活性，我们实验室曾提出一种新的形式化切片方法——模块单子切片。Because traditional program slicing methods lack modularity and flexibility, we had proposed a new formal method for program slicing—modular monadic slicing.

根据红茶的香味特点，介绍了如何运用不同香韵的单体香原料调配出红茶香精的过程。According to fragrance characteristics of black tea, the process that using monadic perfume base of different note to make black tea essence would introduced.

求一元、二元函数的极值问题是数学分析中的基本内容，可应用于实践中求最大、最小的问题。The calculations of extreme value for monadic and binary function are essential problem in mathematical analysis , which can apply to calculate maximum and minimum.

Other words in sentence

这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.

无论是从大陆法系还是英美法系抑或是从“一元说”还是“二元说”说因果关系理论的视角出发，它们的应用都有着各自的优缺点。Whether from the view of continental law system or common law system, from "monadic theory" or "binary theory", their application respectively have their advantages and disadvantages.

扼要论述了化归的原则及意义，从理论和实例分析讨论了一元微积分中若干典型问题化归的基本方法。Applying theory to specific cases to analyse ideogical method of transformation of several problems, briefly problems the principle and significance of transformation method in monadic calculus.