Теория на алгоритмите

While системата (WS) е формален модел, притежаващ минимален функционално пълен набор от предикати и примитиви. Този модел се доближава до интуитивната представа за елементарност на стъпките на алгоритъма, но това го прави в голяма степен неефективен...