Two institutions of finite-state methods