Теория автоматов: основы дискретной математики