Формальные структуры языка Формальные языки в информатике примеры