Digital Memcomputing Machines

In this contribution we will discuss the digital, hence scalable, version of memcomputing machines. These are non-Turing machines that use memory to both process and store information at the same physical location. We will introduce their mathematical definition and provide as an example their implementation of an inverse three-bit sum gate using self-organizable logic gates, namely gates that organize dynamically to satisfy their logical propositions.