Теория конечных автоматов и формальных языков, регулярные языки, тоерия графов, сложность алгоритмов.