Every Computer System is a State Machine -- TLA+ series (1)
This is the first post of a series of posts I plan to make about TLA+. What is a computer First, let's take a look at a very philosophical question -- "what is a computer?". I am writing this post on my computer, which has 32 GB of…