计算机交叉学科 量子计算与量子信息学 释文 probability-based quantum finite automata 基于概率的量子有限自动机
- predicate symbol
- predicate transformer
- predicate transformer semantics
- predicate/transition system
- predicate variable
- predicate word
- predicative
- predicative analysis
- predicative definition
- predicative formal theory
- predicative ordinal number
- predicative property
- predicative proposition
- predicative set theory
- predicative variable
- predicativity
- predictability
- predictable
- predictable characteristic
- predictable process
- predictable projection
- predictable random measure
- predictable random process
- predictable scheduling
- predictable sequence