Special kind of non-deterministic Turing machine, which, in some sense, is similar to a deterministic Turing machine; for each input, there is exactly one computation possible
| Property | Value |
|---|---|
| dbo:description |
|
| dbo:wikiPageWikiLink | |
| dbp:wikiPageUsesTemplate | |
| dct:subject | |
| gold:hypernym | |
| rdfs:label |
|
| owl:sameAs | |
| prov:wasDerivedFrom | |
| foaf:isPrimaryTopicOf | |
| is dbo:wikiPageWikiLink of | |
| is foaf:primaryTopic of |