Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

ГРАММАТИКИ И АВТОМАТЫ




Читайте также:
  1. IV. Автоматы — это мы
  2. АВТОМАТНЫЕ ГРАММАТИКИ И КОНЕЧНЫЕ АВТОМАТЫ
  3. Автоматы и пистолеты-пулеметы
  4. Декомпозиция правил грамматики
  5. ДРУГИЕ ГРАММАТИКИ
  6. История развития синтаксиса. Взгляды античных философов, стоиков, Аполлония Дискола, грамматики Пор-Рояля, языковедов 18-начала 19 века, А.А. Шахматова, Г. Пауля, Ф.Ф. Фортунатова
  7. Недетерминированные и детерминированные А - грамматики
  8. Принцип рекурсии в правилах грамматики
  9. РАСПОЗНАВАТЕЛИ И АВТОМАТЫ
  10. Расширенные грамматики
  11. Связь грамматики и лексики в русском языке

ТЕОРИЯ ФОРМАЛЬНЫХ ЯЗЫКОВ.

М. А. Шамашов

 

 

Учебное пособие

 

 

Самара


УДК 519.682:681.142

 

Теория формальных языков. Грамматики и автоматы. Учебное пособие./

М.А.Шамашов. Самара: Самарский муниципальный комплекс непрерывного

образования “Университет Наяновой”, 1996, 91 с.

 

Материал, изложенный в данном пособии, в течении целого ряда лет исполь­зо­вал­ся при чтении курсов лекций на факультете информатики Самарского аэро­кос­ми­чес­кого университета и математическом факультете университета Наяновой. Пособие освещает основные кон­цеп­ции, методы и алгоритмы теории формальных языков - науки, изучающей ма­те­ма­ти­ческие модели языков и имеющей практическую ориентацию на конструирование программной поддержки интеллектуальных языковых интерфейсов для обще­ния человека с ЭВМ в самых различных областях науки и техники.

Пособие, в первую очередь, ориентировано на студентов, изучающих информатику и компьютерные науки, и специалистов, связанных с задачами проектирования системного и прикладного программного обеспечения автоматизированных систем самой различной ориентации. Рекомендуется в качестве учебника для использования в учебном процессе специальностей "Прикладная математика и компьютерные науки", "Автоматизированные системы обработки информации и управления", "Автома­ти­зи­ро­ван­ные информационные системы", "Программное обеспечение вычислительных и автоматизированных систем". Выполнено на кафедре "Прикладной математики и компьютерных наук" университета Наяновой.

Ил. 38. Библ. 15 наим.

 

Печатается по решению редакционно-издательского совета Самарского муниципального комплекса непрерывного образования “Университет Наяновой”

 

 


ПРЕДИСЛОВИЕ

 

Данное пособие задумано как первая часть учебника для одно- или двухсеместрового курса по теории формальных языков и основ построения трансляторов. В пособии освещена та часть математической теории формальных языков и автоматов, которая лежит в основе построения синтаксически управляемого перевода и компиляции. Большая часть идей и методов, рассматриваемых в пособии, почерпнута автором из целого ряда фундаментальных переводных монографий, большинство которых в настоящее время являются библиографической редкостью. Эти материалы в первоисточниках зачастую слишком объемны, сложны и потребовали глубокого осмысления и серьезной переработки.

Математические понятия теории автоматов и формальных грамматик излогаются строго, но автор счел возможным опустить или схематизировать доказательства целого ряда теорем из-за ограниченных рамок пособия и стремления сделать его доступным широкому кругу читателей, включающих не только математиков, но и студентов технических университетов. Автор считает, что концепции теории формальных грамматик и автоматов служат прекрасной основой не только для обучения основам вычислимости и построения компиляторов, но и для реальной разработки предметно-ориентированных языков. Так, основываясь на этой теории, автор в 1988 году реализовал универсальный символьный процессор, различные модификации которого до сих пор используются при создании предметно-ориентированных языков и обучении.



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

Разделы этого пособия возникли как конспекты курсов лекций, которые в течении ряда лет читаются автором в Самарском аэрокосмическом университете и университете Наяновой. Хочется поблагодарить слушателей, чьи критические замечания, вопросы и недоумевающие взгляды заставляли неоднократно перерабатывать курс. Автор благодарит своих коллег В.В.Куликова, Л.Ф.Штернберга и М.А.Кораблина, совместная работа с которыми способствовала его специализации в теоретических, учебно-методических и практических аспектах данной области знаний.





Дата добавления: 2015-06-27; Просмотров: 295; Нарушение авторских прав?;


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Рекомендуемые страницы:

Читайте также:
studopedia.su - Студопедия (2013 - 2019) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление
Генерация страницы за: 0.001 сек.