Эквивалентность и минимизация конечных автоматов
Теоретические основы эквивалентности конечных автоматов-распознавателей и их минимизация. Определение математических моделей Мили и Мура. Их графическое и табличное представление. Примеры построения конечных автоматов, распознающих некоторые языки.
Подобные документы
Разработка структуры баз данных для больницы, отражающих всю информацию о сотрудниках и пациентах, информацию для врачей о диагнозах и способах их лечения, о лекарствах. Работа с таблицами и установление связей между ними, формирование конечных отчетов.
курсовая работа, добавлен 03.09.2009Сущность математических моделей, классификация и принципы их построения. Анализ операционного исследования. Этапы решения задачи принятия оптимальных решений с помощью ЭВМ. Примеры задач линейного программирования. Математические методы экспертных оценок.
курсовая работа, добавлен 20.11.2015Генератор псевдослучайной последовательности в системах защиты информации. Шифрование мультимедийных данных. Вероятностное шифрование и алгоритм Эль-Гамаля. Основные понятия теории конечных полей. Алгоритм нахождения циклического избыточного кода.
дипломная работа, добавлен 19.07.2013Расчет осадок плиты с учетом неоднородности грунтового основания, выявление в нем ослабленных мест на этапе проектирования. Программа моделирования расчета осадок в среде Delphi 5.0. Теория упругости: напряжение и деформация. Метод конечных элементов.
курсовая работа, добавлен 13.09.2009Математическая модель решения задачи коммивояжера. Поиск кратчайшего замкнутого пути обхода нескольких городов и возвращения в исходную точку. Описание программы и результатов ее тестирования. Основная форма программы после вывода конечных данных.
курсовая работа, добавлен 21.10.2012Разработка алгоритмов методом пошаговой детализации. Типы данных и операции в Turbo-Pascal. Организация работы с подпрограммами. Составление алгоритмов и программ задач с использованием конечных сумм. Организация работы с динамическими переменными.
учебное пособие, добавлен 26.03.2014Работа с инженерной программой LVMFlow - профессиональной CAM-системой трехмерного моделирования литейных процессов. Автоматизация рабочего места технолога-литейщика. Расчет процессов кристаллизации металлов и сплавов. Методы элементов конечных разностей.
курсовая работа, добавлен 13.12.2013Упругие волны, волновое уравнение, дифракция волн. Метод коллокаций, конечных и граничных элементов. Методы возбуждения ультразвуковых волн в объекте. Численный метод решения дифференциальных уравнений с частными производными. Уменьшение зоны смещения.
дипломная работа, добавлен 14.10.2013- 59. Моделирование процесса вытяжки тонколистового металла в конечно-элементном комплексе ANSYS/LS-DYNA
О методе конечных элементов. Методика анализа формоизменяющих операций листовой штамповки с использованием программного комплекса ANSYS\LS-DYNA. Анализ операции осесимметричной вытяжки тонколистовой заготовки. Отображение значений напряжений и деформаций.
дипломная работа, добавлен 10.09.2013 Общая схема D-триггера и цифрового автомата Мили. Построение входных и выходных преобразователей в соответствии с таблицами кодирования входных и выходных сигналов. Составление таблиц переходов и выхода состояния автомата Мили. Выбор серии микросхем.
курсовая работа, добавлен 04.11.2012Детерминированный и вероятностный подходы к оценке живучести сетей. Анализ моделей гибели и вероятности связности сетей. Табличное представление результатов вычислений и построение графических зависимостей в программе, написанной на языке Object Pascal.
дипломная работа, добавлен 03.09.2013Описание алгоритма работы устройства. Составление и минимизация комбинационных схем регистра. Представление основных элементов в требуемом базисе. Работа сумматора и компаратора, описание ее принципа и назначение. Составление временной диаграммы.
курсовая работа, добавлен 19.06.2014Основы проектирования реляционных баз данных. Схема взаимосвязей моделей и представлений сложной системы в процессе объектно-ориентированного анализа. Примеры графического изображения конкретных классов. Представление об информационной модели данных.
презентация, добавлен 14.10.2013Численные методы решения задачи Коши для обыкновенных дифференциальных уравнений: Эйлера, Рунге-Кутта, Адамса и Рунге. Техники приближенного решения данных уравнений: метод конечных разностей, разностной прогонки, коллокаций; анализ результатов.
курсовая работа, добавлен 14.01.2014Историческая справка о глобальной информационной сети Internet. Основные типы конечных узлов глобальной сети: отдельные компьютеры, локальные сети, маршрутизаторы и мультиплексоры. Физическая структуризация сети. Навигация и передача данных в интернете.
контрольная работа, добавлен 27.10.2013Использование объектно-ориентированной методологии при программировании математических процессов. Среда языка программирования Delphi для решения математических задач. Объектно-ориентированные, декларативные и императивные языки программирования.
дипломная работа, добавлен 14.09.2011Анализ моделей и средств построения игровой компьютерной среды предметной области. Разработка алгоритмов построения игровой компьютерной среды. Отладка и экспериментальное тестирование компьютерной игры "Представление знаний в информационных системах".
дипломная работа, добавлен 12.08.2017Понятие, последовательность построения и схемная реализация цифрового автомата. Описание форм представления функций алгебры логики. Принципы минимизации функций выходов и переходов автомата, их перевода в базис. Сведенья о программе Electronics Workbench.
курсовая работа, добавлен 27.10.2010Понятие верификации моделирующих компьютерных программ. Классификация математических моделей. Языки программирования, используемые для имитационных моделирующих программ. Способы исследования реальных систем. Методы повышения валидации и доверия к модели.
шпаргалка, добавлен 02.10.2013Понятие компьютерной и информационной модели. Задачи компьютерного моделирования. Дедуктивный и индуктивный принципы построения моделей, технология их построения. Этапы разработки и исследования моделей на компьютере. Метод имитационного моделирования.
реферат, добавлен 23.03.2010Система классов и свойств языка RDFS. Реификация или материализация утверждений. Возможности RDF, RDF Schema в представлении онтологий. Способы представления RDF-описаний. Структура и базовые элементы OWL-онтологии. Языки запросов к RDF-хранилищам.
презентация, добавлен 01.09.2013Анализ современных технологий моделирования организационных систем. Основные понятия теории мультимножеств и операции над ними. Использование мультимножеств для представления UFO-моделей. Представление операций над UFO-моделями в Microsoft Excel.
дипломная работа, добавлен 17.03.2012Методология преобразования произвольной программы в структурированную с помощью сокращенной матрицы смежности. Проверка функциональной эквивалентности выделенного неструктурированного фрагмента исходной программы и полученного структурированного аналога.
контрольная работа, добавлен 15.03.2009Принципы построения составных сетей. Согласование протоколов канального уровня. Маршрутизация в сетях с произвольной топологией. Сетевой уровень и модель OSI. Система MFG/PRO, языки QAD. Обзор, архитектура системы. Некоторые возможности интерфейса.
курсовая работа, добавлен 29.09.2013Проектирование базы данных "Хозяйственный учет футбольного клуба". Основные принципы построения, использования и оптимизации реляционных баз данных. Анализ предметной области. Использование ER-диаграмм, минимизация зависимостей, построение запросов.
дипломная работа, добавлен 21.06.2010