Full decomposition sequential machines door Jozwiak