Теория автоматов: функции переходов и их применение