@Genevis

The Non-Equivalence of DFAs and NFAs

Apr 12, 2022 · 7 min read · Original post: here. A review on a proof given in the book Introduction to Automata Theory, Languages, and Computation by Hopcroft and Ullman. The theorem is that Deterministic Finite Automata (DFAs) and Non-Deterministic Finite Automata (NFAs) are e...

Everything Is a Program - Chapter 3 - Types

Apr 8, 2022 · 7 min read · Original post: here. In the 0th post of this series we provide a definition of a program. Def. Program - a set of sequences In the last post (2nd post) we discussed how all properties of programs are also programs. But, if you will notice we nearly...

Determinism Does Not Exist

Mar 5, 2022 · 6 min read · Original post: here. Einstein does not consider the concept of ‘determinism’ to be as fundamental as it is frequently held to be (as he told me emphatically many times) . . . In the same way, he disputes that he uses as criterion for the admissibili...

A New Theory of Viruses

Feb 24, 2022 · 4 min read · Original post: here. This post presents an alternative view of viruses that seems to encompass known viral phenomenon and consequences as well as unseen phenomenon that could be searched for/tested in vivo or in vitro. Let us begin by expanding a Vir...

Quines Are Not Self-Replication

Feb 17, 2022 · 4 min read · Original post: here. If we were to read the blog post here entitled: Quines (self-replicating programs), then we would see it make a few definitions and points about quines. Firstly it defines quines as such: Def. 0 - Quine - a computer program whic...