recursively enumerable language 递归可枚举语言
理论计算机科学 可计算性与计算复杂性 释文 recursively enumerable language 递归可枚举语言
- equilibrated valve
- equilibrating force-system
- equilibration
- equilibration for matrix
- equilibrator
- equilibratory sensation
- equilibria
- equilibrium
- equilibrium and stability of stellar sphere
- equilibrium approximation
- equilibrium, balance
- equilibrium borehole temperature logging
- equilibrium carrier
- equilibrium collusion
- equilibrium composition
- equilibrium concentration
- equilibrium condition
- equilibrium condition of a bridge
- equilibrium condition of phase transition
- equilibrium configuration
- equilibrium constant
- equilibrium constant of chemical reaction
- equilibrium constant of gas-phase chemical reaction
- equilibrium deformation
- equilibrium diagram