Лекция 7 Formal gramatika



Download 2,49 Mb.
bet1/5
Sana09.12.2022
Hajmi2,49 Mb.
#882709
TuriЛекция
  1   2   3   4   5
Bog'liq
7- Лекция. Формал грамматика

Лекция – 7


Formal gramatika



  1. Formal gramatika va semantik to’r.

  2. Alfavit. Ifoda. Til. Terminal.

  3. Gramatikalar. Kontekst-erkin grammatika. Regulyar garammatika

Введение
Классическая теория формальных языков, грамматик и автоматов является одной из важнейших составных частей инженерного образования по информационным технологиям. Она дала новый стимул к развитию математической лингвистики и методов искусственного интеллекта, связанных с естественными и искусственными языками, а ее элементы успешно применяются при анализе и выполнении манипуляций с текстами и разработке трансляторов.


Дисциплина «Теория формальных языков» включает такие разделы, как конечные автоматы, нотация Бэкуса-Наура, машины Тьюринга, формальные языки и грамматики, регулярные выражения.
Цель изучения формальных языков заключается в закреплении студентами знаний по дисциплине «Теория формальных языков» и в приобретении практических навыков использования основных ее положений для решения прикладных задач.
Основы синтаксических методов данной теории были заложены Н. Хомским в 40–50-е гг. XX в. в его лингвистических работах, посвященных изучению естественных языков, и нашли широкое практическое применение в области разработки и реализации языков программирования
В математической логике конкретное содержание высказывания не рассматривается, важно только, истинно оно или ложно. Поэтому высказывание можно представить некоторой переменной величиной, значением которой может быть только 1, если оно истинно, или 0, если ложно. Простые высказывания называются логическими переменными и для простоты записи их обозначают латинскими буквами: А, В, С … . Сложные высказывания – это логические функции, которые также могут принимать значения только 0 или 1 и обозначаются строчными буквами латинского алфавита.
В настоящее время искусственные языки, использующие для описания предметной области текстовое представление, широко применяются не только в программировании, но и в других областях. С их помощью описывается структура всевозможных документов, трехмерных виртуальных миров, графических интерфейсов пользователя и многих других объектов, используемых в моделях и в реальном мире. Для того чтобы эти текстовые описания были корректно составлены, а затем правильно распознаны и интерпретированы, применяются специальные методы их анализа и преобразования. В основе данных методов лежит теория формальных языков, грамматик и автоматов.
Теория формальных языков, грамматик и автоматов дала новый стимул развитию математической лингвистики и методам искусственного интеллекта, связанных с естественными и искусственными языками. Кроме того, ее элементы успешно применяются, например, при описании структур данных, файлов, изображений, представленных не в текстовом, а двоичном формате. Эти методы полезны при разработке своих трансляторов даже там, где уже имеются соответствующие аналоги.
Несмотря на то, что к настоящему времени разработаны тысячи различных языков и их компиляторов, процесс создания новых приложений в этой области не прекращается. Это связно как с развитием технологии производства вычислительных систем, так и с необходимостью решения все более сложных прикладных задач. Такая разработка может быть обусловлена различными причинами, в частности, функциональными ограничениями, отсутствием локализации, низкой эффективностью существующих компиляторов. Поэтому основы теории языков и формальных грамматик, а также практические методы разработки компиляторов лежат в фундаменте инженерного образования по информатике и вычислительной технике.
В пособии Ишакова Е.Н. «Теория языков программирования и методов трансляции»: учебное пособие. – Оренбург: ГОУ ОГУ, 2007. – 137 с. отражены все разделы обязательного минимума содержания основной образовательной программы по дисциплине: основы теории формальных языков и грамматик; распознаватели и преобразователи (конечные автоматы и преобразователи, автоматы и преобразователи с магазинной памятью); связь между грамматиками и автоматами; формальные методы описания перевода (СУ-схемы, Т-грамматики, атрибутные Т-грамматики); алгоритмы синтаксического анализа для LL(k)-грамматик, LR(k)-грамматик, грамматик предшествования; включение семантики в алгоритмы синтаксического анализа.




  1. Download 2,49 Mb.

    Do'stlaringiz bilan baham:
  1   2   3   4   5




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish