Describir: Optimálne kódovanie stavov synchrónnych sekvečných obvodov