비결정적 계산
특정 상태에서 다음 상태로 이행할 때 여러 가지 가능성이 동시에 존재할 수 있는 계산 모델이다. 실제 하드웨어 구현보다는 알고리즘의 복잡도 클래스를 정의하고 분석하는 이론적 도구로 사용되며, 현대 암호학이나 최적화 문제 해결의 핵심 개념이다.