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