Minimal realization sequential machines door Jozwiak