Формальные языки и грамматики. Языки программирования. Классификация языков - пр Формальные языки определения свойства примеры