Формальные языки: виды и особенности