Describing State Machines using Math – TLA+ series (2)

By Lu Pan in tla+ on

Previous post can be found here – https://blog.the-pans.com/state-machine/. The entire series is based on Lamport's TLA+ tutorial. In the previous post, we talked about any system can be described as a state machine. What language should we use to describe state machines? TLA+ uses mathematics, which is…

Every Computer System is a State Machine – TLA+ series (1)

By Lu Pan in tla+ on

This is the first post of a series of posts I plan to make about TLA+. This entire series is based on Lamport's TLA+ tutorial. 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…