ВУЗ:
Составители:
ОТ АВТОРОВ
Одна из главных трудностей, с которыми сталкиваются студенты при
освоении основополагающих курсов, связанных с математическим
обеспечением и применением ЭВМ, заключается в том, что многие понятия
этих курсов еще «не устоялись», а материал их разбросан по разным
источникам, написанным, как правило, языком труднодоступным для
первого знакомства.
Данное пособие ориентировано
в первую очередь на студентов
младших курсов. Поэтому при его написании мы постарались совместить
строгость изложения основных понятий и доказательство фундаментальных
положений одноименного лекционного курса с доходчивостью восприятия.
Особое внимание при этом мы уделили показу взаимосвязи таких понятий, как
формальные системы, алгоритмы, машины Тьюринга, грамматики, языки.
Материал, включенный в пособие
, охватывает основные положения
министерской программы. Однако пособие не является конспектом лекций и
не подменяет, а лишь дополняет его.
Курс «Теория алгоритмов и формальных языков» сопровождается
практическими занятиями, организация которых отражена в специальной
методической разработке. Поэтому в пособии использован лишь
необходимый минимум примеров.
При написании учебного пособия мы широко использовали
книги и
монографии, указанные в списке литературы. Поскольку специальных
ссылок на них в тексте пособия не дается, мы заранее приносим их авторам
свои извинения.
Пособие будет полезно не только при изучении курса «Теория
алгоритмов и формальных языков», но и курсов, связанных с разработкой и
применением систем математического обеспечения ЭВМ, системного
программирования и других курсов специализации, читаемых кафедрой
математического обеспечения и применения ЭВМ студентам специальности
0647.
