Verifier
Fra Wikipedia, den frie encyklopædi
En verifier bruges til at bekræfte om en mulig løsning til er korrekt. Nogle sprog har den egenskab at de er polynomieltids verificerbare. Det betyder at verifier'en kører i polynomiel tid i længden af w.
[redigér] Definition
En verifier for et sprog A er en algoritme V, hvor
A = {w | V accepterer < w,c > for en streng c}.
| Denne side ligner et opslag i en ordbog. Dette opslag fungerer mere som et opslag i en ordbog end som en artikel i en encycklopædi. Du kan evt. modificere artiklen, således at den passer bedre ind, eller flytte den til den tilsvarende artikel i den danske Wikiordbog - husk at formatere artiklen, så den passer ind i Wikiordbogen og at kopiere denne sides historik til diskussionssiden på Wiktionary. |

