CS 301K Foundations of Logical Thought
Finite
State Machine Project
A
finite state machine (FSM) is a formal model of computation that is very useful
for describing solutions to a large class of problems. Here are some finite state machines that
you use every day:
·
Vending
machines
·
Traffic
lights
·
Password
checkers
·
Spelling
checkers
We
are going to build a finite state machine that checks for valid passwords
(according to a set of rules that we’ll provide).
For
this project, we’ll use JFLAP, an FSM simulation tool. You can download JFLAP (it’s free)
from: