Full-decomposition sequential machines by Jozwiak