Эквивалентность и минимизация конечных автоматов
Теоретические основы эквивалентности конечных автоматов-распознавателей и их минимизация. Определение математических моделей Мили и Мура. Их графическое и табличное представление. Примеры построения конечных автоматов, распознающих некоторые языки.
Подобные документы
Разработка подсистемы формирования комплексной оценки в системе мониторинга наукометрических показателей работников высшего учебного заведения. Виды и методы шкалирования. Исследование существующих математических моделей построения комплексных оценок.
дипломная работа, добавлен 10.11.2012Краткая характеристика пакета Mathcad, описание простейших примеров работы с ним, примеры решения основных задач элементарной математики. Компьютерные технологии решения математических задач и символьных вычислений. Образование векторов и матриц.
дипломная работа, добавлен 11.03.2011Создание программы решения математических выражений методом трансляции с помощью обратной пользовательской записи на алгоритмическом языке Си. Определение функционального назначения процедур ChartoInt, Scobka и Sumin, представление их в виде блок-схем.
курсовая работа, добавлен 20.11.2010Проектирование преобразователя кода (ПК), рассчет его энергопотребления и быстродействия. Составление таблицы истинности ПК. Написание булевых функций, минимизация и преобразование к выбранному базису. Составление структурной схемы преобразователя кода.
курсовая работа, добавлен 09.02.2009Индивидуализация корпоративного программного обеспечения. Тенденция индивидуализации со стороны потребителей. Минимизация процесса функциональной адаптации, кастомизация прикладного кода. Прикладная платформа для создания кастомизированного решения.
реферат, добавлен 07.09.2009- 106. Основы теории цепей
Определения и классификация математических моделей. Возможности системы, распечатка документа MathCAD. Описание математической модели. Анализ исходных данных и результатов. Графическая схема алгоритма и ее описание. Алгоритмический анализ задачи.
курсовая работа, добавлен 21.01.2013 Написание программы решения технических задач языком высокого уровня Си: определение мольной теплоемкости кислорода методом интерполяции. Построение математических моделей, графиков и таблиц по результатам расчетов, составление текста программы.
курсовая работа, добавлен 19.05.2011Программное вычисление по формулам, определение площади правильного многоугольника для любых возможных исходных данных, использование потоков ввода-вывода. Использование операторов при вычислении математических функций, алгоритмы накопления суммы.
лабораторная работа, добавлен 09.01.2011Разработка и реализация алгоритма динамического контроля корректности использования директив OpenMP в программах, написанных на языке Fortran. Минимизация количества потребляемых ресурсов при работе отладчика. Сравнительный обзор существующих отладчиков.
дипломная работа, добавлен 14.10.2010Сущность построения, особенности применения и теоретическое обоснование алгоритмов приближенного решения математических задач. Основы численного метода, нахождение интерполяционного полинома методом Лагранжа. Руководство программиста и пользователя.
курсовая работа, добавлен 16.08.2012Сущность универсальных математических пакетов MathCad, MathLab, Mathematica, Maple. Описание интерфейса программ, вычислительные способности, построение графиков. Языки программирования. Электронные книги - приложения к ним. Основные достоинства MathCad.
презентация, добавлен 06.01.2014Оптимізація схеми мікропрограмного автомата Мура за рахунок нестандартного подання кодів станів. Аналіз методів синтезу автомата та аналіз сучасного елементного базису. Використанні особливостей автомата для зменшення площини матричної схеми автомата.
презентация, добавлен 16.10.2013Ошибочные представления о XML. Языки разметки, базируемые на XML. Описание двухмерной векторной графики, математических обозначений, химических формул. Программные средства и интерфейсы для работы с XML. Способы хранить XML-данные в базе данных.
презентация, добавлен 11.10.2013- 114. Однопроходный/двухпроходный транслятор с языка математических выражений на язык деревьев вывода
Понятие и принципы построения трансляторов. Методика написания программы на языке программирования С++, реализующей определенные действия над математическими выражениями. Написание транслятора с языка математических выражений на язык деревьев вывода.
курсовая работа, добавлен 24.08.2009 Задачи подсистемы безопасности операционной системы Microsoft Windows. Предохранение систем ОС Windows от проникновения вредоносных программ, изоляцию этих программ в случае вторжения. Минимизация ущерба при заражении. Центр обеспечения безопасности.
презентация, добавлен 20.12.2013Разработка системы поддержки принятия решений. Метод создания рабочего расписания для сотрудников компании таким образом, чтобы заполнить семиндневную рабочую неделю. Задача программы - минимизация выплат заработной платы с учетом общего рабочего времени.
курсовая работа, добавлен 21.05.2012Изучение понятия и свойств алгоритма. Определение сущности технологии Robson. Исполнитель, а также блок-схема алгоритма или его графическое представление, в котором он изображается в виде последовательности связанных между собой функциональных блоков.
реферат, добавлен 19.10.2013Примеры использования макросов в текстовом редакторе Microsort Word. Создание ведомости с помощью таблиц. Выполнение математических расчетов и их оформление при помощи редакторов MS Word и MS Excel. Создание модуля с функциями в редакторе Visual Basic.
контрольная работа, добавлен 24.12.2010Синтез комбінаційної схеми, яка реалізує задану функцію п`яти змінних. Побудування за результатами синтезу функціональної схеми в базисі. Проектування керуючих автоматів Мура та Мілі, принципових схем на елементах малого ступеня інтеграції заданої серії.
курсовая работа, добавлен 24.09.2010- 120. Логические сети
Применение математических методов для решения логических задач и построения логических схем. Определение и реализация булевых функций. Основные схемы функциональных элементов. Программируемые логические матрицы. Правила составления таблицы истинности.
курсовая работа, добавлен 19.03.2012 Теоретические основы построения корпоративной сети. Анализ источников угроз и информационных рисков. Организация защиты корпоративной информационной системы Дистанции электроснабжения на основе типовых решений. Современные технологии защиты информации.
дипломная работа, добавлен 09.11.2016Минимизация времени между совершением производственно-хозяйственных операций и их информационным отображением при принятии управленческих решений. Автоматизированная система обработки экономической информации на примере предприятия "Дорремстрой".
контрольная работа, добавлен 27.07.2009Булева функція п’яти змінних. Граф-схема керуючих автоматів Мілі і Мура. Синтез комбінаційної схеми для булевої функції. Мінімізація БФ заданими методами. Схема с мінімальною ціною по Квайну. Граф-схеми алгоритмів. Кількість перемикань тригерів.
курсовая работа, добавлен 28.02.2009Современный подход к построению концептуальной, функциональной, логической и структурных моделей системы электронного документооборота, позволяющий создать на их основе автоматизированные информационные системы для различных приложений.
статья, добавлен 07.07.2004Разработка концептуальной и логической моделей базы данных "Отдела кадров (института)". Примеры построения запросов для получения данных по различным критериям выборки, описание получения отчетных документов. Формы для ввода и редактирования данных.
курсовая работа, добавлен 16.12.2015