GGenevisingenevis.hashnode.dev·Apr 12, 2022 · 7 min readThe Non-Equivalence of DFAs and NFAsOriginal 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...00
GGenevisingenevis.hashnode.dev·Apr 8, 2022 · 7 min readEverything Is a Program - Chapter 3 - TypesOriginal 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...00
GGenevisingenevis.hashnode.dev·Mar 5, 2022 · 6 min readDeterminism Does Not ExistOriginal 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...00
GGenevisingenevis.hashnode.dev·Feb 24, 2022 · 4 min readA New Theory of VirusesOriginal 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...00
GGenevisingenevis.hashnode.dev·Feb 17, 2022 · 4 min readQuines Are Not Self-ReplicationOriginal 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...00