青云翻译

我们建立在综合现有的许多想法：例如，半代数的混合自动机，“真正的”计算和TCTL BLUM - shub斯梅尔模型（适合我们设置一个强大的时序逻辑的形式主义）更正式的定义如下。

我们建立和集成许多现有的想法： 如半代数混合机、 百隆-Shub-Smale 模型的"真实"的计算和 TCTL (强大的时序逻辑形式适合我们设置） — — de?ned 更正式下文。

我们修造了并且集成了许多现有的想法： 即，半代数杂种自动机、“真正的”计算Blum-Shub-Smale模型和TCTL (强有力的世俗逻辑形式主义适当为我们的设置) - de?下面更加正式ned。

我们建立和综合许多现有的一些想法:例如,半代数混合自动机,blum-shub-Smale示范的"真正的"计算和请使用tctl(一个强大时间逻辑形式主义适合我们设置)-更正式定義如下。

我们建立和集成许多现有的想法： 如半代数混合机、 百隆-Shub-Smale 模型的"真实"的计算和 TCTL (强大的时序逻辑形式适合我们设置） — — de?ned 更正式下文。