Full-decomposition sequential machines door Jozwiak