Máquina de turing emulando um codificador binário (nibble) com saída em 7-segmentos

Abstract

In theoretical computing disciplines, the Turing Machine is always presented as a symbolic manipulation mechanism which is capable of verifying effective procedures (algorithms). This capacity was initially explored with the implementation of language recognizers, but the implementation of transducers to solve the most diverse problems occurred practically in the very same period. Although there were some other contemporary instruments that performed such function, the Turing Machine has been historically recognized as the mathematical model that enabled the development of the digital computer. In order to demonstrate the transduction capability, this article presents the construction of a four-bit Binary/Gray coding Turing Machine with seven-segment coded outputs, emulating classic circuits of digital electronics.