Введение в теорию формальных грамматик, языков и автоматов