Система будет остановлена для регулярного обслуживания. Пожалуйста, сохраните рабочие данные и выйдите из системы.

Browsing School of Engineering and Digital Sciences by Author "4a5c6a2c-83de-4ae2-8b66-b917ebe39b1d"

Now showing items 1-1 of 1

Using Homing, Synchronizing and Distinguishing Input Sequences for the Analysis of Reversible Finite State Machines

Lukac, Martin; Kameyama, Michitaka; Perkowski, Marek; Kerntopf, Pawel (University of Niš, 2019)

A digital device is called reversible if it realizes a reversible mapping, i.e., the one for which there exist a unique inverse. The field of reversible computing is devoted to studying all aspects of using and designing ...