Конспект лекций для студентов очной формы обучения специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем Содержание : Теория языков и формальных грамматик Способы определения языков Формальные грамматики Грамматики с ограничениями на правила Способы записи синтаксиса языка распознаватели Метаязык Хомского Метаязык Хомского-Щутценберже...
М.: Московский государственный университет им. М. В. Ломоносова. Факультет вычислительной математики и кибернетики, 1999. — 62 с.
Элементы теории формальных языков и грамматик.
Классификация грамматик и языков по Хомскому.
Примеры грамматик и языков.
Задача разбора.
Преобразования грамматик.
Элементы теории трансляции.
Описание модельного языка.
Лексический анализ.
О...
Лекции по построению компилятора на Pascal. 255 с.
Эта серия статей является руководством по теории и практике разработки синтаксических анализаторов и компиляторов языков программирования. Прежде чем вы закончите чтение этой книги, мы раскроем все аспекты конструирования компиляторов, создадим новый язык программирования, и построим работающий компилятор.
Новосибирск : СибГУТИ, 2008. - 93 с. К системному программированию (СП) относится та область программирования, которая связана с управлением техническими средствами персонального компьютера и организацией работы программных систем. Системные программисты разрабатывают системы ассемблирования, загрузчики и программы связывания, макропроцессоры, компиляторы, операционные системы и...
М., 1993. - 123 с. Предлагаемая вниманию читателя книга основана на курсе лекций, прочитанных на факультете вычислительной математики и кибернетики Московского государственного университета и факультете управления и прикладной математики Московского физико-технического института в 1991-1999 гг. Авторы надеются, что издание книги восполнит существенный пробел в литературе на...
Курс лекций. Самара: Самар. гос. аэрокосм. ун-т., 2002. - 127 стр. ISBN: 5-7883-0118-1 Дано описание архитектуры и системы команд реального режима работы микропроцессоров фирмы INTEL. Дано описание архитектуры и системы команд устройства с плавающей точкой (FPU). Приведены варианты заданий контрольных работ по курсу и примеры программ. Курс лекций предназначен для студентов...
М.: ГИНФО, 2004. - 36 с. Учебное пособие предназначено для заочной (дистанционной) формы обучения студентов по специальности 220400 «Программное обеспечение вычислительной техники и автоматизированных систем управления» по курсу «Информатика». В учебном пособии изложены вопросы информатизации общества, теории информации и ее свойств, файловые системы, информационно логические...
Учебн. пособ. по разделу дисциплины «Системное программное обеспечение». – Калининград: КГТУ, 2009, 116 с. Рассмотрены основные способы организации фаз анализа и синтеза формальных текстов, которые используются в компиляторах и интерпретаторах при распознавании вводимых формальных конструкций. Описываются приемы моделирования грамматики и семантики формального текста, а также...
2-е изд. — М.: Бук-пресс, 2006. — 512 с. — ISBN: 5-9643-0027-8. В этом курсе лекций излагаются классические модели, методы и алгоритмы языка программирования высокого уровня, дается строгое изложение основ теории системного программирования, приводятся примеры программ на языке Ассемблер. Главное внимание уделяется объяснению того, как использовать на практике полученные...
Учебное пособие. - Красноярск: Издательство СФУ ИКИТ, 2008. - 123 с.
Учебное пособие содержит материал, необходимый для решения задач, которым должны овладеть студенты в процессе изучения таких дисциплин как «Операционные системы» и «Системное программное обеспечение». Теоретический материал сопровождается примерами и листингами программ, предназначенных к выполнению в среде...
Черкасский государственный университет, 2008. - 123 с.
Введение в системное программное обеспечение.
Понятие операционной системы или среды.
Объекты ядра операционной системы.
Среда разработки программного обеспечения.
Утилиты.
Файловая система.
Система управления базами данных.
СППО - стихУ Лукоморья дуб зелёный И трудно нам спилить его И не поможет кот учёный Просечь и сдать СППОБезмолвна Тьюринга машина Как будто в ней вселился бес И графов мрачные вершины Смыкают свод, как тёмный лес.Уж страшно и надежды нету Всё незнакомо, просто жуть И вот, как луч надежды, к свету Ведёт нас Гамильтонов путьПоникла Тьюринга машина Застряла лента в ней, отнюдь, Но графов строгие вершины Укажут Гамильтонов путьЗдесь в чаще клики притаились Найти одну бы — был бы рад. Тогда задачи б все сводились И налицо — сертификатЯзык мой сводит от волненья: К названьям новым не привык, Но надо всё ж найти решенье Свести машинный бы языкСвело язык, «полимиально»* И ловко был продуман ход, И вот решенье! Гениально! И ждёт заветный нас зачёт.*— «полимиально» – сокр. от полиномиально
Комментарии
И трудно нам спилить его
И не поможет кот учёный
Просечь и сдать СППОБезмолвна Тьюринга машина
Как будто в ней вселился бес
И графов мрачные вершины
Смыкают свод, как тёмный лес.Уж страшно и надежды нету
Всё незнакомо, просто жуть
И вот, как луч надежды, к свету
Ведёт нас Гамильтонов путьПоникла Тьюринга машина
Застряла лента в ней, отнюдь,
Но графов строгие вершины
Укажут Гамильтонов путьЗдесь в чаще клики притаились
Найти одну бы — был бы рад.
Тогда задачи б все сводились
И налицо — сертификатЯзык мой сводит от волненья:
К названьям новым не привык,
Но надо всё ж найти решенье
Свести машинный бы языкСвело язык, «полимиально»*
И ловко был продуман ход,
И вот решенье! Гениально!
И ждёт заветный нас зачёт.*— «полимиально» – сокр. от полиномиально