Конечные автоматы
Описание абстрактных, структурных и частичных конечных автоматов. Работа синхронных конечных автоматов, содержащих различные типы триггеров, определение сигналов их возбуждения. Пример канонического метода структурного синтеза. Схема дверного замка.
| Рубрика | Математика |
| Предмет | Дискретная математика |
| Вид | учебное пособие |
| Язык | русский |
| Прислал(а) | Аленочка |
| Дата добавления | 07.06.2009 |
| Размер файла | 19,6 M |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Декартова система координат. Построение композиции отображений. Проверка полноты системы функций. Построение логической схемы однотактного триггера на заданном элементе памяти с использованием канонического метода структурного синтеза конечных автоматов.
контрольная работа [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
