Text this: Finite-State Models for Logical Machines