Формальные языки в информатике: основополагающие концепции