Finite-state Models for Logical Machines