(Post's model and Turing's model, though very similar to one another, were developed independently.
（Post的模型和图灵的模型，尽管相互之间非常类似，但却是独立开发的。