Text this: Синтез дискретных автоматов и управляющих устройств