| dbo:description
|
- abstraktni stroj, ki modelira računanje kot dve stranki (nezaupanja vreden, a močan »preveritelj«; zaupanja vreden »preveritelj« z omejenimi viri), ki si izmenjujeta sporočila, da bi ugotovila, ali nek niz pripada jeziku (sl)
- in computational complexity theory, an abstract machine modeling computation as two parties (an untrusted but powerful ‘prover’; a trusted ‘verifier’ with bounded resources) exchanging messages to ascertain whether some string belongs to a language (en)
- у теорії обчислювальної складності, абстрактна машина моделює обчислення як дві сторони (ненадійний, але потужний «провізор»; довірений «верифікатор» обмежених ресурсів), що обмінюються повідомленнями, щоб встановити, чи належить деякий рядок мові (uk)
|
.svg?width=300)
.svg){kind=link}
.svg){kind=link}