state machines
the finite ones specifically or the infinite ones?
any, but usually the finite ones because buffers have a limited length