Основы информатики: формальные языки и их применение