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