A digital computer is definitely a FSM. In fact, creating the state diagram of a simple calculator, and mapping that to digital logic by hand, and then building it on a breadboard used to be a staple of most introductory computer architecture courses. Now they just simulate everything. :)
This is the technique http://faculty.etsu.edu/tarnoff/ntes2150/statemac/statemac.h...