3. Лемма о регулярной накачке, преобразование FA в регулярные выражения.

MIT 18.404J Теория вычислений, осень 2020 Преподаватель: Майкл Сипсер Полный курс: https://ocw.mit.edu/18-404JF20 Плейлист на YouTube:    • MIT 18.404J Theory of Computation, Fall 2020   Кратко повторил материал прошлой лекции. Показал преобразование ДКА в регулярные выражения. Предложил метод доказательства нерегулярности языков с помощью леммы о накачке и свойств замкнутости. Ввел контекстно-свободные грамматики (КСГ). Лицензия: Creative Commons BY-NC-SA Более подробная информация на https://ocw.mit.edu/terms Больше курсов на https://ocw.mit.edu Поддержите OCW по ссылке http://ow.ly/a1If50zVRlQ Мы приветствуем конструктивные комментарии и обсуждения на YouTube-канале OCW и в других социальных сетях. Личные нападки, разжигание ненависти, троллинг и неподобающие комментарии запрещены и могут быть удалены. Подробнее на https://ocw.mit.edu/comments.