Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: structural algorithmic equivalence

Sortuj według:

Ogranicz wyniki do:

On Algorithmic Equivalence of Instruction Sequences for Computing Bit String Functions

Bergstra J. A., Middelburg C. A.

Fundamenta Informaticae

2015

Vol. 138, nr 4

411--434

Every partial function from bit strings of a given length to bit strings of a possibly different given length can be computed by a finite instruction sequence that contains only instructions to set and get the content of Boolean registers, forward jump instructions, and a termination instruction. We look for an equivalence relation on instruction sequences of this kind that captures to a reasonable degree the intuitive notion that two instruction sequences express the same algorithm.