Luis M. Augusto

This article elaborate on Post productivity from the viewpoint of formal language theory: I design formal grammars that emulate the construction of productive sets of natural numbers and are thus beyond Turing-decidability.

Metamorphic viruses can now evolve into infinitely diverse forms, rendering traditional antivirus solutions nearly obsolete.