Лекции::

Дополнительно:

абстрактный синтез конечных автоматов