Теория автоматных предпосылок
Я интересуюсь теорией автоматов, чтобы улучшить мое понимание программирования и проектирования компиляторов (я хотел бы создать несколько простых синтаксисов в моих собственных проектах, например: L-Systems, AI, структуры нейронных сетей и интеллектуальный диалог объект-объект 'AI диалог "), но есть вещи, которые мне нужно выучить, прежде чем идти вперед.
Есть много новых символов и математических понятий, которые мне нужно выучить, прежде чем изучать теорию автоматов. Я не могу копировать и вставлять примеры из-за символов, и у меня нет необходимой репутации для публикации изображения, поэтому я слышу ссылку на вики статья.
Контекстно-грамматическая статья в Википедии
Под заголовком "Правильные CFG" вы можете увидеть некоторые определения. Я не понимаю их. Может кто-нибудь сказать, пожалуйста, как называется эта запись, чтобы я мог ее найти в Google. Любые другие указатели или информация также будут полезны, но знание только нескольких ключевых слов поможет. Кроме того, если кто-то знает о всеобъемлющем ресурсе, к которому можно бесплатно получить доступ, например, о видео-лекции ИИТ на тему этой нотации, я был бы вечно благодарен, поскольку в настоящее время я не могу позволить себе репетиторство или даже учебники.
В настоящее время я использую ресурс для теории автоматов (для всех, кто интересуется) - " Теория автоматов IIT Lectures" на YouTube.
3 ответа
Символы ∀ а также ∃ являются логическими квантификаторами, соответственно означающими "для всех" и "существует".
Обычно вы впервые знакомитесь с ними в курсе дискретной математики, хотя они являются частью логики предикатов (также известной как логика первого порядка); в программе CS моего конкретного университета Discrete Math является предпосылкой для логики для информатики, которая, в свою очередь, является предпосылкой для формальных языков и автоматов.
Звезда * символ в сроке (V union Sigma)* там изучается сама теория формальных языков / автоматов: это оператор звезды Клини. Его ввод представляет собой алфавит (набор символов), и он создает набор из всех строк, состоящих из нуля или более символов в этом алфавите.
Полезным инструментом для изучения формальных языков и автоматов является JFLAP.
Эта тема на том уровне, который вы указали в своей ссылке, действительно предназначена только для математиков или аспирантов-теоретиков. Символы, на которые вы ссылаетесь, являются просто символической логикой. Если вы действительно интересуетесь теорией автоматов, я бы порекомендовал попытаться найти ресурсы, которые исследуют эту тему с концептуального уровня и избегают использования сложных логических утверждений. ИЛИ, если вы действительно хотите погрузиться, вы можете научить себя символической логике, некоторой теории множеств, возможно, некоторой современной алгебре, а затем заняться теорией автоматов.
Я прочитал много книг по теме "Языки и автоматы", в том числе книги "Дракона" о компиляторах (и гораздо более прагматичную книгу Джека Креншоу "Давайте напишем компилятор"), но ни одна из них на самом деле не понравилась, пока я не прочитал классические " Конечные и бесконечные машины " Марвина Мински., Будучи старой книгой, она вообще не охватывает последние исследования и разработки в этой области, но он объясняет современное состояние 1960-х годов в области автоматов, нейронных сетей, машин Тьюринга, функционального программирования и лямбда-исчисления, а также часто пренебрегаемое третье колесо систем перезаписи строк. И письмо исключительно превосходно и привлекательно. IIRC Минкши даже в соавторстве с Робертом Айзеком Азимовым написал историю про роботов, поэтому у него есть серьезные полномочия по написанию.
Как я уже сказал, эта книга не принесет вам никакой новой информации ни в одной из этих областей, но это лучшая книга, которую я нашел для объяснения всего с нуля. И это обеспечило бы очень прочную основу для прочтения чего-либо более свежего. Эта книга находится в библиографии каждой книги, изданной с тех пор.