Теория автоматов.