# FTLTL Monitoring Algorithm

From FSL

The monitoring algorithm for FTLTL keeps a natural number representing the current state in a deterministic finite state machine. As events are received the value of the current state and the event in question uniquely determine the next state of the finite state machine.