Прикладная теория автоматов