![]() |
|
сделать стартовой | добавить в избранное |
![]() |
Моделирование работы конечного распознавателя для последовательно-сти элементов типа "дата" в немецком формате, разделенных запятыми и заключённых в фигурные скобки |
САНКТ-ПЕТЕРБУРГСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ВОДНЫХ КОММУНИКАЦИЙ Кафедра ВСиИ КУРСОВАЯ РАБОТА по дисциплине «Системное программное обеспечение» Моделирование работы конечного распознавателя для последовательности элементов типа «дата» в немецком формате, разделенных запятыми и заключённых в фигурные скобки Вариант № 15 Выполнил: студент группы ИС-31 Мельников А. Санкт-Петербург 2009 год СодержаниеЗадание на курсовую работу Введение 1 Составление формальной грамматики 2 Построение конечного автомата 3 Программное моделирование работы конечного автомата 4 Граф детерминированного автомата 5 Блок-схема 6 Примеры разбора строк Задание на курсовую работу Моделирование работы конечного распознавателя для последовательности элементов типа «дата» в немецком формате (ДД.ММ.ГГГГ), разделенных запятыми, при этом значение даты должно быть помещено в фигурные скобки, а год должен отображаться четырьмя символами, например, ({01.12.2001},{05.07.2003}); Введение Учебная цель. Получение практических навыков построения моделей конечных распознавателей. Теоретические сведения. Недетерминированный конечный автомат (НКА) - это пятерка M = (Q, , D, q0, F), где Q - конечное множество состояний; - конечное множество допустимых входных символов (входной алфавит); D - функция переходов (отображающая множество Q( {e}) во множество подмножеств множества Q), определяющая поведение управляющего устройства; q0 Q - начальное состояние управляющего устройства; F Q - множество заключительных состояний. Недетерминизм автомата заключается в том, что, во-первых, находясь в некотором состоянии и обозревая текущий символ, автомат может перейти в одно из, вообще говоря, нескольких возможных состояний, и во-вторых, автомат может делать переходы по e. Пусть M = (Q, , D, q0, F) - НКА. Конфигурацией автомата M называется пара (q, w) Q , где q - текущее состояние управляющего устройства, а w - цепочка символов на входной ленте, состоящая из символа под головкой и всех символов справа от него. Конфигурация (q0, w) называется начальной, а конфигурация (q, e), где q F - заключительной (или допускающей). Пусть M = (Q, , D, q0, F) - НКА. Тактом автомата M называется бинарное отношение , определенное на конфигурациях M следующим образом: если p D(q, a), где a {e}, то (q, aw) (p, w) для всех w . Будем обозначать символом ( ) транзитивное (рефлексивно- транзитивное) замыкание отношения . Говорят, что автомат M допускает цепочку w, если (q0, w) (q, e) для некоторого q F. Языком, допускаемым (распознаваемым, определяемым) автоматом M, (обозначается L(M)), называется множество входных цепочек, допускаемых автоматом M. Т.е. Важным частным случаем недетерминированного конечного автомата является детерминированный конечный автомат, который на каждом такте работы имеет возможность перейти не более чем в одно состояние и не может делать переходы по e. Пусть M = (Q, , D, q0, F) - НКА. Будем называть M детерминированным конечным автоматом (ДКА), если выполнены следующие два условия: D(q, e) = для любого q Q, и D(q, a) содержит не более одного элемента для любых q Q и a .
Так как функция переходов ДКА содержит не более одного элемента для любой пары аргументов, для ДКА мы будем пользоваться записью D(q, a) = p вместо D(q, a) = {p}. Конечный автомат может быть изображен графически в виде диаграммы, представляющей собой ориентированный граф, в котором каждому состоянию соответствует вершина, а дуга, помеченная символом a {e}, соединяет две вершины p и q, если p D(q, a). На диаграмме выделяются начальное и заключительные состояния. Конечный распознаватель – это модель устройства с конечным числом состояний, которое отличает правильно образованные, или «допустимые» цепочки, от «недопустимых». Примером задачи распознавания может служить проверка нечетности числа единиц в произвольной цепочке, состоящей из нулей и единиц. Соответствующий конечный автомат будет допускать все цепочки, содержащие нечетное число единиц, и отвергать все цепочки с четным их числом. Назовем его «контролером нечетности». На вход конечного автомата подается цепочка символов из конечного множества, называемого входным алфавитом автомата, и представляющего собой совокупность символов, для работы с которыми он предназначен. Как допускаемые, так и отвергаемые автоматом цепочки, состоят только из символов входного алфавита. Символы, не принадлежащие входному алфавиту, нельзя подавать на вход автомата. Входной алфавит контроллера нечетности состоит из двух символов: «0» и «1». В каждый момент времени конечный автомат имеет дело лишь с одним входным символом, а информацию о предыдущих символах входной цепочки сохраняет с помощью конечного множества состояний. Согласно этому представлению, автомат помнит о прочитанных ранее символах только то, что при их обработке он перешел в некоторое состояние, которое и является памятью автомата о прошлом. Работу автомата можно описать математически с помощью функции переходов, которая по текущему состоянию и текущему входному символу дает новое состояние автомата . Символически эта зависимость описывается так: . Некоторые состояния автомата выбираются в качестве допускающих, или заключительных. Если автомат, начав работу в начальном состоянии, при прочтении всей цепочки переходит в одно из допускающих состояний, то говорят, что эта цепочка допускается автоматом. Если последнее состояние автомата не является допускающим, то говорят, что автомат отвергает цепочку. 1 Составление формальной грамматики Фраза языка представляет собой список, поэтому из начального символа грамматики должен выводится список: R0: &l ;предложение&g ;::==&l ;фраза&g ; R1: &l ;фраза&g ;::==&l ;дата&g ; &l ;дата&g ;,&l ;фраза&g ; Дата представляет собой линейную структуру: R2: &l ;дата&g ;::=={&l ;месяц&g ;.&l ;год&g ;} Аналогично год, месяц и день: R3: R4: &l ;месяц&g ;: :== &l ;месяцб&g ;. &l ;деньб&g ; &l ;месяцм&g ;. &l ;деньм&g ; &l ;февраль&g ; &l ;деньф&g ; R5: &l ;месяцб&g ;::=01 03 05 07 08 10 12 R6: &l ;месяцм&g ;::=04 06 09 11 R7: &l ;февраль&g ;::=02 R8: &l ;деньб&g ;::==&l ;цифра2&g ;&l ;цифра&g ; 3&l ;цифра1&g ; R9: &l ;деньм&g ;::==&l ;цифра2&g ;&l ;цифра&g ; 30 R10: &l ;деньф&g ;::==&l ;цифра1&g ;&l ;цифра&g ; 2&l ;цифра3&g ; R11: &l ;цифра&g ;::==0 1 2 3 4 5 6 7 8 9 R12: &l ;цифра1&g ;::==0 1 R13: &l ;цифра2&g ;::==0 1 2 R14: &l ;цифра3&g ;::==0 1 2 3 4 5 6 7 8 Таким образом, требуемую грамматику можно описать следующей структурой: Множество терминальных символов: {, }, .,
, ,0,1,2,3,4,5,6,7,8,9. Множество нетерминальных символов: &l ;фраза&g ;, &l ;дата&g ;, &l ;год&g ;, &l ;месяц&g ;, &l ;день&g ;, &l ;цифра&g ;, &l ;цифра1&g ;, &l ;цифра2&g ;. Множество правил вывода R0,R1, R2, R3, R4, R5, R6, R7, R8, R9, R10, R11, R12, R13, R14. 2 Построение конечного автомата Между конечными автоматами и автоматными грамматиками существует тесная связь: класс языков, допускаемых конечными автоматами, совпадает с классом языков, порождаемых автоматными грамматиками. Для построения конечного автомата составленную грамматику путем введения дополнительных состояний надо преобразовать к автоматному виду, в результате получится следующая таблица переходов: 0 1 2 3 4 5 6 7 8 9 { } . , да нет день нет нет нет нет нет нет нет нет нет нет нет нет денф нет денб Дб1 Дб1 Дб1 Цф1 нет нет нет нет нет нет нет нет нет нет Дб1 Дб2 Дб2 Дб2 Дб2 Дб2 Дб2 Дб2 Дб2 Дб2 Дб2 нет нет нет нет Дб2 нет нет нет нет нет нет нет нет нет нет нет нет мес нет Цф1 Дб2 Дб2 нет нет нет нет нет нет нет нет нет нет нет нет денм Дб1 Дб1 Дб1 Цф0 нет нет нет нет нет нет нет нет нет нет Цф0 Дб2 нет нет нет нет нет нет нет нет нет нет нет нет нет денф Дб1 Дб1 Цф3 нет нет нет нет нет нет нет нет нет нет нет Цф3 Дб2 Дб2 Дб2 Дб2 Дб2 Дб2 Дб2 Дб2 нет нет нет нет нет нет мес Мес0 Мес1 нет нет нет нет нет нет нет нет нет нет нет нет Мес0 нет месб фев месб месм месб месм месб месб месм нет нет нет нет Мес1 месб месм месб нет нет нет нет нет нет нет нет нет нет нет месб нет нет нет нет нет нет нет нет нет нет нет нет денб нет месм нет нет нет нет нет нет нет нет нет нет нет нет денм нет дата нет нет нет нет нет нет нет нет нет нет год нет нет нет год Цг1 Цг1 Цг1 Цг1 Цг1 Цг1 Цг1 Цг1 Цг1 Цг1 нет нет нет нет Цг1 Цг2 Цг2 Цг2 Цг2 Цг2 Цг2 Цг2 Цг2 Цг2 Цг2 нет нет нет нет Цг2 Цг3 Цг3 Цг3 Цг3 Цг3 Цг3 Цг3 Цг3 Цг3 Цг3 нет нет нет нет Цг3 Цг4 Цг4 Цг4 Цг4 Цг4 Цг4 Цг4 Цг4 Цг4 Цг4 нет нет нет нет Цг4 нет нет нет нет нет нет нет нет нет нет нет да нет день 3 Граф детерминированного автомата Для того, чтобы улучшить зрительное восприятие и облегчить понимание сложных синтаксических описаний, часто применяют представление правил грамматики в виде синтаксических диаграмм. Синтаксическая диаграмма представляет собой ориентированный граф для каждого правила грамматики. 4 Программное моделирование работы конечного автомата #i clude &quo ;ios ream.h&quo ; #i clude &quo ;s dio.h&quo ; #i clude &quo ;co io.h&quo ; i mai () {i i,j,kol, sos ,slsos , symb; i abl={{0,0,0,0,0,0,0,0,0,0,0,0,0,0},//da {1,1,1,1,1,1,1,1,1,1,1,1,1,1},// e {1,1,1,1,1,1,1,1,1,1,3,1,1,1}, {4,4,4,5,1,1,1,1,1,1,1,1,1,1}, {1,6,6,6,6,6,6,6,6,6,1,1,1,1}, {8,9,1,1,1,1,1,1,1,1,1,1,1,1}, {1,1,1,1,1,1,1,1,1,1,1,1,20,1}, {16,16,16,16,16,16,16,16,16,16,1,1,1,1}, {1,1,1,1,1,1,1,1,1,1,1,1,10,1}, {1,1,1,1,1,1,1,1,1,1,1,1,11,1}, {12,13,1,1,1,1,1,1,1,1,1,1,1,1}, {14,15,1,1,1,1,1,1,1,1,1,1,1,1}, {1,1,1,1,23,1,23,1,1,23,1,1,1,1}, {23,1,1,1,1,1,1,1,1,1,1,1,1,1}, {1,23,1,23,1,23,1,23,23,1,1,1,1,1}, {23,1,23,1,1,1,1,1,1,1,1,1,1,1}, {17,17,17,17,17,17,17,17,17,17,1,1,1,1}, {18,18,18,18,18,18,18,18,18,18,1,1,1,1}, {19,19,19,19,19,19,19,19,19,19,1,1,1,1}, {1,1,1,1,1,1,1,1,1,1,1,0,1,2}, {21,22,1,1,1,1,1,1,1,1,1,1,1,1}, {1,23,23,23,23,23,23,23,23,23,1,1,1,1}, {23,23,23,1,1,1,1,1,1,1,1,1,1,1}, {1,1,1,1,1,1,1,1,1,1,1,1,7,1}, }; pri f(&quo ;ma rica &quo ;); for (i=0;i&l ;24;i ) {for (j=0;j&l ;14;j ) pri f(&quo ;%4d&quo ;, abl); pri f(&quo ; &quo ;);}; char ch, i ps r ; pri f(&quo ; E ER S RI G &quo ;); i=0; while ((ch=ge ch()) !=13 && i&l ;80) {pu ch(ch); i ps r=' 0'; kol=i-1; pri f(&quo ; i pu s ri g:&quo ;); pri f(i ps r); pri f(&quo ; &quo ;); sos =2; for (i=0;i&l ;=kol;i=i 1) { symb=i ps r; break; case '2': slsos = abl; break; case '4': slsos = abl; break; case '6': slsos = abl; break; case '8': slsos = abl; break; case '{': slsos = abl; break; case '.'
Случай, когда сравниваются различные варианты капиталовложений в развитие отрасли, производственные объединения или отдельные предприятия и соответствующие им конечные результаты работы, является примером задачи 3-го типа. С такими задачами чаще всего приходится встречаться в процессе планирования, когда нужно решить, что лучше — повысить производственные возможности за счёт увеличения капиталовложений или, предположим, оставить те и др. на прежнем уровне. Результаты каждого решения характеризуются сочетанием значений нескольких показателей. Чтобы установить, какое из возможных решений лучше, нужно сравнить их по нескольким показателям. В этом случае может возникнуть необходимость в формировании К. о., который облегчит сравнительную оценку альтернатив. В качестве К. о. можно использовать величину, которая, как и отдельные показатели, измеряется в непрерывной или дискретной шкалах. Причём дискретные оценки могут быть порядковыми и метрическими. Порядковая шкала представляет собой последовательность различных сочетаний значений показателей, составленную исходя из соответствия этих сочетаний определённым целям
3. Имитационное моделирование работы вычислительного центра
4. Процесс моделирования работы коммутационного узла
5. Моделирование работы системы управления запасами
9. Типы темперамента учащихся и учет его особенности в учебно-воспитательной работе
10. Математическое моделирование биполярных транзисторов типа p-n-p
11. “Идеальные типы” как метод исследования культуры по работам М. Вебера в его избранных произведениях
12. Математическое моделирование и оптимизация элементов тепловой схемы энерготехнологического блока
13. Обоснование типа судна для заданного направления работы
14. Моделирование времени. Обеспечение параллельности в работе устройств ВС в системе VHDL
15. Методы и алгоритмы построения элементов систем статистического моделирования
17. Воспитательно-реабилитационная работа в русской школе интернатного типа
19. Математическое моделирование тепловой работы вращающейся печи
21. Деревянные конструкции (лабораторные работы)
25. Общие виды работ, выполняемых на воздушных судах
26. Структура и алгоритмы работы спутниковых радионавигационных систем
27. Типы Галактик. Наша Галактика - Млечный Путь
28. Сосуды и нервы туловища и конечностей собаки
29. Математическое моделирование биосинтеза продуктов метаболизма
30. Отчёт по лабараторным работам по биологии за 1 семестр
31. Бактериальная система секреции белков первого типа
32. Разведение и содержание аквариумных рыб с элементами исследования
33. Воспитательная работа в вооруженных силах и ее влияние на психику воина в боевой деятельности
34. Спасательные и неотложные аварийно-восстановительные работы
35. Организация и проведение спасательных работ в чрезвычайных ситуациях
36. Применение ЭВМ для повышения эффективности работы штаба ГО РАТАП
37. Спасательные и неотложные аварийно-восстановительные работы в очагах поражения
41. Буровые работы
42. Налоги: типы, эволюция. Теория налогообложения
43. Состав нормативных документов, регламентирующих организацию работы с документами
44. Исключительные права на средства индивидуализации товаров, работ, услуг и их производителей
45. Контрольная работа по всеобщей истории государства и права
46. Международная организация труда- создание, структура, задачи и организация её работы
47. Статус депутатов местных Советов и формы их работы
48. Контрольная работа по Римскому праву
49. Правовые отношения: понятия, признаки, элементы, виды
50. Феодальный тип государства
51. Порядок увольнения с работы и его оформление
52. Прием на постоянное место работы
53. Лабораторные работы по охране труда в Угольной промышленности
57. Контрольная работа по английскому языку (Тюмень)
58. Диапазон голоса и работа над ним
59. Теория книговедения в работах М.Щелкунова
60. Мусульманский тип культуры
61. Аппарат произведения печати. Элементы книги
62. Культурологическая проблематика в работе Л.Н.Гумилева "Этногенез и биосфера Земли"
63. Тематика и типы древнерусских книг
64. Восточные и западные типы культур
65. Безличные предложения среди других типов простого предложения
66. Типы и функции обращений в лирике А. Блока
67. Типы словарей, используемые в русском языке
68. Элементы разговорной речи в современных печатных изданиях для мужчин
73. Работа с редактором Vi. Другие текстовые редакторы UNIX
74. Имитационное моделирование компьютерных сетей
75. Электронная почта и факсимильная связь. Структура и прицип работы
76. Диагностика и устранение неисправностей при работе в локальной сети
78. Компьютерное моделирование
79. Последовательные порты ПЭВМ. Интерфейс 232С
83. Синтаксический распознаватель арифметического оператора условного перехода языка FORTRAN
84. Постановка лабораторной работы по теории графов
85. Масштабирование. Геометрическое моделирование
89. Работа с Базами данных в Delphi
90. Работа с каталогами (лабораторная работа)
93. Индексированные элементы управления
94. Методические рекомендации и задания для лабораторных работ по дисциплине «Вычислительные системы»
95. Оптимизация плана работ по отладке программных продуктов
96. Трехмерное параметрическое моделирование на персональном компьютере
97. Работа с программой EUREKA
98. Отчет по работе с программами SysInfo, PrintFx, FontEdit, Snipper
99. Работа с графами