| Webster's Online Dictionary |
| Expressions | Domain | Definition | |
| Existential state | Math | A state in a nondeterministic Turing machine from which the machine accepts if any move leads to acceptance. (references) | |
Source: compiled by the editor from various references; see credits. | Top | ||