finite-state documents