存在的定量化回路

• ステートレス
• 非一様
• 非決定論的計算