Un uso corriente es el diseño de máquinas de estado finitas electrónicas.