Изменения
Перейти к навигации
Перейти к поиску
Формальные языки и трансляции (посмотреть исходный код)
Версия от 17:34, 3 сентября 2019
, 17:34, 3 сентября 2019Краткое описание истории создания курса и имеющейся литературы в сети и в б-ке ин-та
Курс «Формальные языки и трансляции» посвящён изучению формальных языков и одному из их наиболее распространённых ныне приложений - трансляции, т.е. переводу из одного машинного (как правило - формального) языка на другой. К примеру, с одного из языков программирования высокого уровня на язык Ассемблера и далее - в машинные коды.
== История ==
Технические возможности по обеспечению такого перевода стали достаточно широко доступны (первоначально - специалистам) уже с начала 1960-х годов. Вскоре соответствующие курсы по изучению формальных языков (как раздела высшей алгебры) появились сначала на старших курсах ведущих технических университетов, а затем постепенно стали обязательны для каждого факультета прикладной математики сколько-нибудь приличного вуза, после некоторого приспособления (с целью большей доступности материала) "переехали" на более младшие курсы.
=== На Физтехе ===
Первый курс по формальным языкам ([[ТРЯП]]) был создан в МФТИ зав. отд. ВЦ РАН и доцентом ФУПМ МФТИ В.М. Курочкиным вскоре после создания ФУПМа в конце 1960-х годов и, несмотря на явный интерес к этому направлению, например, для ряда специальностей [[ФРТК]], никогда не читался на других факультетах до появления ФИВТ. С созданием последнего один год читать курс на факультет были приглашены преподаватели ФУПМ, но их привычки (в частности, не ставить "удв" автоматом только за принадлежность студента к ФИВТ) привели к разногласию с деканатом, закончившимся удалением всего курса из учебной программы. Через какое-то время курс, в силу своей очевидной важности и востребованности для выпускников, был возобновлён, но уже под другим названием и преподавать его были приглашены другие преподаватели.
== Книги и учебные пособия по курсу ==
=== в сети ===
* ''Серебряков В.А., Галочкин М.П., Гончар Д.Р., Фуругян М.Г.'' [http://trpl7.ru/t-books/_TRYAPBOOK_pdf.pdf Теория и реализация языков программирования: учеб. пос.] М., МЗ-Пресс, 2003. (2-е изд., 2006 г.) – электр. версия в сети с разреш. авторов.
* ''Мартыненко Б.К.'' [http://trpl7.ru/t-books/Martin/Martinenko_FLT_Cont.htm Языки и трансляции: учеб. пос.] СПб.ГУ, 2002 г. (ранее было разм. на странице автора на портале СПб.ГУ).
* ''Шень А. Х.'' [https://www.mccme.ru/free-books/shen/shen-progbook.pdf Программирование: теоремы и задачи]. М.: МЦНМО, 2004. (разм. на портале МЦНМО с разр. автора) – здесь можно посмотреть алгоритм Кнута-Морриса-Пратта.
* [http://trpl7.ru/t-books/RegExpr_Aho_Ullman.pdf Уравнения с регулярными коэффициентами] (консп. из Ахо-Ульмана (1978), 4 с.)
=== В библиотеке МФТИ ===
* ''Серебряков В.А. и др.'' Теория и реализация языков программирования: учеб. пос. М.: МЗ-Пресс, 2006 г.
* ''Ахо А., Сети Р., Ульман Дж.'' Компиляторы. Принципы, технологии, инструменты. М., СПб., Киев: Вильямс, 2001. (10 шт.)
* ''Хопкрофт Дж., Мотвани Р., Ульман Дж.'' Введение в теорию автоматов, языков и вычислений. М.: Вильямс, 2002. (16 шт.)
== См. также ==
* [[ТРЯП]]
{{Предмет преподают}}
{{комментарии}}
== История ==
Технические возможности по обеспечению такого перевода стали достаточно широко доступны (первоначально - специалистам) уже с начала 1960-х годов. Вскоре соответствующие курсы по изучению формальных языков (как раздела высшей алгебры) появились сначала на старших курсах ведущих технических университетов, а затем постепенно стали обязательны для каждого факультета прикладной математики сколько-нибудь приличного вуза, после некоторого приспособления (с целью большей доступности материала) "переехали" на более младшие курсы.
=== На Физтехе ===
Первый курс по формальным языкам ([[ТРЯП]]) был создан в МФТИ зав. отд. ВЦ РАН и доцентом ФУПМ МФТИ В.М. Курочкиным вскоре после создания ФУПМа в конце 1960-х годов и, несмотря на явный интерес к этому направлению, например, для ряда специальностей [[ФРТК]], никогда не читался на других факультетах до появления ФИВТ. С созданием последнего один год читать курс на факультет были приглашены преподаватели ФУПМ, но их привычки (в частности, не ставить "удв" автоматом только за принадлежность студента к ФИВТ) привели к разногласию с деканатом, закончившимся удалением всего курса из учебной программы. Через какое-то время курс, в силу своей очевидной важности и востребованности для выпускников, был возобновлён, но уже под другим названием и преподавать его были приглашены другие преподаватели.
== Книги и учебные пособия по курсу ==
=== в сети ===
* ''Серебряков В.А., Галочкин М.П., Гончар Д.Р., Фуругян М.Г.'' [http://trpl7.ru/t-books/_TRYAPBOOK_pdf.pdf Теория и реализация языков программирования: учеб. пос.] М., МЗ-Пресс, 2003. (2-е изд., 2006 г.) – электр. версия в сети с разреш. авторов.
* ''Мартыненко Б.К.'' [http://trpl7.ru/t-books/Martin/Martinenko_FLT_Cont.htm Языки и трансляции: учеб. пос.] СПб.ГУ, 2002 г. (ранее было разм. на странице автора на портале СПб.ГУ).
* ''Шень А. Х.'' [https://www.mccme.ru/free-books/shen/shen-progbook.pdf Программирование: теоремы и задачи]. М.: МЦНМО, 2004. (разм. на портале МЦНМО с разр. автора) – здесь можно посмотреть алгоритм Кнута-Морриса-Пратта.
* [http://trpl7.ru/t-books/RegExpr_Aho_Ullman.pdf Уравнения с регулярными коэффициентами] (консп. из Ахо-Ульмана (1978), 4 с.)
=== В библиотеке МФТИ ===
* ''Серебряков В.А. и др.'' Теория и реализация языков программирования: учеб. пос. М.: МЗ-Пресс, 2006 г.
* ''Ахо А., Сети Р., Ульман Дж.'' Компиляторы. Принципы, технологии, инструменты. М., СПб., Киев: Вильямс, 2001. (10 шт.)
* ''Хопкрофт Дж., Мотвани Р., Ульман Дж.'' Введение в теорию автоматов, языков и вычислений. М.: Вильямс, 2002. (16 шт.)
== См. также ==
* [[ТРЯП]]
{{Предмет преподают}}
{{комментарии}}