Assertion: turing machine | /r/HasProperty | important model
Facets:
Source sentences:
text: Non-deterministic Turing machines are an important model in the context of computational complexity theory.