4 posts in total

---

2025

10-13

Reducibility, implication, inclusions: Math symbols & Computability & Cryptography

02-04

Theory of computation: nondeterministic finite automata

01-30

Theory of Computation: Finite Automata

01-23

understanding the halting problem