Изменения

ТФЯ изучает две большие задачи:

ТФЯ изучает две большие задачи:

# как породить (описать) всевозможные допустимые цепочки данного формального языка (к примеру, формально правильные программы языка программирования, допустимые цепочки входных данных при тестировании сложной программы, у которой достаточно часто меняются как её коды, так и, возможно, структура обрабатываемых данных, состав правильно построенной СБИС или иной сложной технической системы вплоть до самолёта, правильную молекулу или вещество (ген в молекулярной биологии, лекарственное средство, имеющее заданный набор лечебных воздействий и не имеющее известных отрицательных последствий применения, в т.ч. в различном биохимическом окружении), непротиворечивую систему законодательных актов (на уровне компании, отрасли, государства) и т.д.)  

# '''как породить (описать) всевозможные допустимые цепочки данного формального языка''' (к примеру, формально правильные программы языка программирования, допустимые цепочки входных данных при тестировании сложной программы, у которой достаточно часто меняются как её коды, так и, возможно, структура обрабатываемых данных, состав правильно построенной СБИС или иной сложной технической системы вплоть до самолёта, правильную молекулу или вещество (ген в молекулярной биологии, лекарственное средство, имеющее заданный набор лечебных воздействий и не имеющее известных отрицательных последствий применения, в т.ч. в различном биохимическом окружении), непротиворечивую систему законодательных актов (на уровне компании, отрасли, государства) и т.д.)  

# как распознать цепочки из заданного языка (синтаксически правильные программы для ЭВМ, искомые цепочки для поисковиков программ-обозревателей интернета, программы поддержки секвенирования генома  (каждый ген также может быть представлен как цепочка знаков или своего рода слова из допустимого языка Природы для данного вида) и т.д.

# '''как распознать цепочки из заданного языка''' (синтаксически правильные программы для ЭВМ, искомые цепочки для поисковиков программ-обозревателей интернета, программы поддержки секвенирования генома  (каждый ген также может быть представлен как цепочка знаков или своего рода слова из допустимого языка Природы для данного вида) и т.д.

== ТРЯП на Физтехе ==

== ТРЯП на Физтехе ==

Исторически сложилось так, что на ФУПМе студентам предлагают изучать только приложения ТФЯ, связанные с программированием. Задача разработки разновидностей курса, учитывающего познавательные потребности студентов с других факультетов (прежде всего, ФРТК) не ставится, а их возможное участие в изучении курса с получением соответствующих зачётов и экзаменов затруднено (отчасти, возможно, и потому, что предлагавшийся в середине 2000-х в течение пары лет очный вариант курса по выбору для студентов иных факультетов не собирал минимально необходимого числа желающих).  

Исторически сложилось так, что на ФУПМе студентам предлагают изучать только приложения ТФЯ, связанные с программированием. Задача разработки разновидностей курса, учитывающего познавательные потребности студентов с других факультетов (прежде всего, ФРТК) не ставится, а их возможное участие в изучении курса с получением соответствующих зачётов и экзаменов затруднено (отчасти, возможно, и потому, что предлагавшийся в середине 2000-х в течение пары лет очный вариант курса по выбору для студентов иных факультетов не собирал минимально необходимого числа желающих).  

Из других факультетов МФТИ подобный курс ныне читается только на [[ФИВТ]] и другой командой преподавателей (требования преподавателей ФУПМа к студентам ФИВТ в деканате последнего показались слишком строги).

Из других факультетов МФТИ подобный курс некоторое время читался на [[ФИВТ]] и другой командой преподавателей (требования преподавателей ФУПМа к студентам ФИВТ в деканате последнего показались слишком строги).

В предисловии к своей известной книге ''А. Ахо'' и ''Дж. Ульман''<ref>''А. Ахо, Дж. Ульман'' «Теория синтаксического анализа, перевода и компиляции». Т. 1. пер. с англ. под ред. В.М. Курочкина. М.: Мир, 1978. С. 9</ref> писали «''Чтение курса по этой книге рекомендуется сопровождать лабораторными работами по программированию, в ходе которых должны быть спроектированы и реализованы какие-то части компилятора. В конце некоторых разделов книги приведены упражнения на программирование, которые можно использовать в этих лабораторных работах''».

В предисловии к своей известной книге ''А. Ахо'' и ''Дж. Ульман''<ref>''А. Ахо, Дж. Ульман'' «Теория синтаксического анализа, перевода и компиляции». Т. 1. пер. с англ. под ред. В.М. Курочкина. М.: Мир, 1978. С. 9</ref> писали «''Чтение курса по этой книге рекомендуется сопровождать лабораторными работами по программированию, в ходе которых должны быть спроектированы и реализованы какие-то части компилятора. В конце некоторых разделов книги приведены упражнения на программирование, которые можно использовать в этих лабораторных работах''».

Но количество выделенных для курса часов и общая высокая учебная нагрузка на студентов по сию пору не позволяет это осуществить. В тоже время для интересующихся студентов разработан и доступен разработанный В.А. Серебряковым пакет программ к курсу ТРЯП на Java (ссылка ниже).

Но количество выделенных для курса часов и общая высокая учебная нагрузка на студентов по сию пору не позволяет это осуществить. В тоже время для интересующихся студентов разработан и доступен разработанный [[Серебряков Владимир Алексеевич|В.А. Серебряковым]] пакет программ к курсу ТРЯП на Java (ссылка ниже).

=== Основатели и первые преподаватели ===

=== Основатели и первые преподаватели ===

* [http://trpl7.ru/Conspectus/MyHill-Nerode_theorem.pdf  Теорема Майхилла-Нероуда (необх. и дост. условие регулярности языка)] консп. лекции проф. В.А. Серебрякова (2018 г.).

* [http://trpl7.ru/Conspectus/MyHill-Nerode_theorem.pdf  Теорема Майхилла-Нероуда (необх. и дост. условие регулярности языка)] консп. лекции проф. В.А. Серебрякова (2018 г.).

* [http://trpl7.ru/AutoLang.htm Пакет программ к курсу ТРЯП] (В.А. Серебрякова) – пробный выпуск.

* [http://trpl7.ru/AutoLang.htm Пакет программ к курсу ТРЯП] (В.А. Серебрякова) – пробный выпуск.

* ''Мартыненко Б.К.'' [http://trpl7.ru/t-books/Martin/Martinenko_FLT_Cont.htm Языки и трансляции: учеб. пос.] СПб.ГУ, 2002 г. (ранее было разм. на странице автора на портале СПб.ГУ).

* ''Мартыненко Б.К.'' [http://trpl7.ru/t-books/Martin/Martinenko_FLT_Cont.htm Языки и трансляции: учеб. пос.] СПб.ГУ, 2002 г. (ранее было разм. на странице автора на портале СПб.ГУ).

* ''Шень А. Х.'' [https://www.mccme.ru/free-books/shen/shen-progbook.pdf Программирование: теоремы и задачи]. М.: МЦНМО, 2004. (разм. на портале МЦНМО с разр. автора) – здесь можно посмотреть алгоритм Кнута-Морриса-Пратта.

* ''Шень А. Х.'' [https://www.mccme.ru/free-books/shen/shen-progbook.pdf Программирование: теоремы и задачи]. М.: МЦНМО, 2004. (разм. на портале МЦНМО с разр. автора) – здесь можно посмотреть алгоритм Кнута-Морриса-Пратта.

* [http://trpl7.ru/t-books/RegExpr_Aho_Ullman.pdf Уравнения с регулярными коэффициентами] (консп. из Ахо-Ульмана (1979), 4 с.)

* [http://trpl7.ru/t-books/RegExpr_Aho_Ullman.pdf Уравнения с регулярными коэффициентами] (консп. из Ахо-Ульмана (1978), 4 с.)

=== более ранние издания ===

=== более ранние издания ===

* ''Курочкин В. М., Столяров Л. Н., Сушков Б. Г., Флёров Ю. А.'' [http://trpl7.ru/t-books/guides.htm Теория и реализация языков программирования: Курс лекций] М., МФТИ, 1973. (2-е изд., 1978 г.) – электр. версия в сети с разреш. авторов.

* ''Курочкин В. М., [[Столяров Лев Николаевич|Столяров Л. Н.]], Сушков Б. Г., [[Флёров Юрий Арсениевич|Флёров Ю. А.]]'' [http://trpl7.ru/t-books/guides.htm Теория и реализация языков программирования: Курс лекций] М., МФТИ, 1973. (2-е изд., 1978 г.) – электр. версия в сети с разреш. авторов.

=== В библиотеке МФТИ ===

=== В библиотеке МФТИ ===