Email Gateway (Jul 11 2023 at 17:24): Email Gateway (Jul 11 2023 at 17:24):From: Tobias Nipkow <nipkow@in.tum.de>
Gray Codes for Arbitrary Numeral Systems
Maximilian Spitz
The original Gray code after Frank Gray, also known as reflected binary code
(RBC), is an ordering of the binary numeral system such that two successive
values differ only in one bit. We provide a theory for a non-Boolean Gray code,
which is a generalisation of the idea for an arbitrary base. Contained is the
necessary theoretical environment to express and reason about the respective
properties.
https://www.isa-afp.org/entries/Gray_Codes.html
Enjoy!
Last updated: Apr 28 2024 at 20:16 UTC