Конечные автоматы
Описание абстрактных, структурных и частичных конечных автоматов. Работа синхронных конечных автоматов, содержащих различные типы триггеров, определение сигналов их возбуждения. Пример канонического метода структурного синтеза. Схема дверного замка.
| Рубрика | Математика |
| Вид | учебное пособие |
| Язык | русский |
| Дата добавления | 07.06.2009 |
| Размер файла | 19,6 M |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
HTML-версии работы пока нет.
Cкачать архив работы можно перейдя по ссылке, которая находятся ниже.
Подобные документы
Декартова система координат. Построение композиции отображений. Проверка полноты системы функций. Построение логической схемы однотактного триггера на заданном элементе памяти с использованием канонического метода структурного синтеза конечных автоматов.
контрольная работа [225,5 K], добавлен 18.02.2015Рассмотрение особенностей метода построения полного проверяющего теста для недетерминированных автоматов относительно неразделимости для модели "черного ящика" и разработка предложений по его модификации. Исследование условий усечения дерева преемников.
курсовая работа [1,3 M], добавлен 20.08.2010Основная идея метода конечных элементов. Пространство конечных элементов. Простейший пример пространства. Однородные граничные условия и функции. Построение базисов в пространствах. Свойства базисных функций. Коэффициенты системы Ритца–Галеркина.
лекция [227,9 K], добавлен 30.10.2013Неразрешимые конечные группы с нильпотентными добавлениями к несверхразрешимым подгруппам. Нормальные подгруппы конечных-обособленных груп. Факторизуемые группы с разрешимыми факторами нечетных индексов. Произведения 2-разложимых групп специальных видов.
курсовая работа [546,1 K], добавлен 26.09.2009Понятие и виды бинарной алгебраической операции. Определения, примеры и общие свойства -перестановочных подгрупп. Характеристика и методика решения конечных групп с заданными -перестановочными подгруппами. Доказательство p-разрешимости конечных групп.
курсовая работа [1,1 M], добавлен 22.09.2009Этапы развития логики. Имена ученых, внесших существенный вклад в развитие логики. Ключевые понятия монадической логики второго порядка. Язык логики предикатов. Автоматы Бучи: подход с точки зрения автоматов и полугрупп. Автоматы и бесконечные слова.
курсовая работа [207,1 K], добавлен 26.03.2012Изучение строения групп по заданным свойствам системы их подгрупп как направлениt в теории конечных групп. Обзор конечных групп с плотной системой F-субнормальных подгрупп в случаях, когда F - произвольная S-замкнутая формация p-нильпотентных групп.
курсовая работа [163,6 K], добавлен 07.03.2010Свойства примитивных конечных разрешимых произведений N-разложимых групп. Условия факторизуемости проекторов конечных разрешимых произведений N-разложимых групп для случая. Порядок определения приложений полученных результатов для классических формаций.
дипломная работа [239,8 K], добавлен 14.12.2009Определение и основные свойства конечных групп с условием плотности для F-субнормальных подгрупп. Общие свойства, использующиеся для изучения строения конечных групп с плотной системой F-субнормальных подгрупп. Особенности развития теории формаций.
курсовая работа [155,1 K], добавлен 02.03.2010Интерполяционная схема Эйткина. Связь конечных разностей и производных. Распространение ошибки исходных данных при вычислении конечные разности. Свойства разделенной разности. Интерполяционная формула Ньютона для не равноотстоящих узлов. Полином Лагранжа.
лекция [92,3 K], добавлен 06.03.2009
