Содержание
65 отношения: BWA (выравнивание биологических последовательностей), DIAMETER, GATE (программа), Hot Chip, JFLAP, Mercy (шифр), Nginx, Q.931, Ragel, Reality Engine, ROHC, SDRAM, Specification and Description Language, Switch-технология, UML, КА, Классификация абстрактных автоматов, Клини, Стивен Коул, Компьютер, Проблемно-ориентированное проектирование, Пангеном, Последовательность Рудина — Шапиро, Полнота по Тьюрингу, Первое поколение игровых систем, Перебор по словарю, Аркадная система, Автомат, Автомат Мура, Алгоритм, Алгоритм Raft, Алгоритм Паксос, Алгебра, Недетерминированная машина Тьюринга, Расширенная сеть переходов, Рабин, Михаэль Ошер, Синтаксическая диаграмма, Скотт, Дана, Состояние (информатика), Сопрограмма, Сети Петри, Трахтенброт, Борис Авраамович, Тактовый сигнал, Тестирование по стратегии чёрного ящика, Теория графов, Теорема Кратко, Теорема Клини, Теорема о раскраске дорог, Теорема Майхилла — Нероуда, Устройство управления, Уровень регистровых передач, ... Развернуть индекс (15 больше) »
BWA (выравнивание биологических последовательностей)
BWA (Burrows-Wheeler Aligner) — программный пакет для картирования коротких прочтений на большие референсные геномы (такие как, например, геном человека), написанный китайским биоинформатиком Хенг Ли и англичанином Ричардом Дурбиным.
Посмотреть Конечный автомат и BWA (выравнивание биологических последовательностей)
DIAMETER
DIAMETER — сеансовый протокол, созданный, отчасти, для преодоления некоторых ограничений протокола RADIUS.
Посмотреть Конечный автомат и DIAMETER
GATE (программа)
General Architecture for Text Engineering (GATE, программа) — система обработки естественного языка с открытым исходным кодом, использующая наборы компонентов на языке Java.
Посмотреть Конечный автомат и GATE (программа)
Hot Chip
Hot Chip — британская группа, выпускающая популярную электронную музыку, созданная в 2000 году Алексисом Тейлором и Джо Годдардом.
Посмотреть Конечный автомат и Hot Chip
JFLAP
JFLAP (Java Formal Languages and Automata Package) — свободная кроссплатформенная программа для экспериментов с различными объектами, встречающихся в теории формальных языков.
Посмотреть Конечный автомат и JFLAP
Mercy (шифр)
Mercy - криптоалгоритм, реализующий блочное шифрование и предназначенный для шифрования жестких дисков.
Посмотреть Конечный автомат и Mercy (шифр)
Nginx
nginx (engine x —; по-русски произносится как э́нгинкс или э́нжин-и́кс) — веб-сервер и почтовый прокси-сервер, работающий на Unix-подобных операционных системах (тестировалась сборка и работа на FreeBSD, OpenBSD, Linux, Solaris, Mac OS X, AIX и HP-UX).
Посмотреть Конечный автомат и Nginx
Q.931
Q.931 — рекомендация ITU-T и основанная на нём реализация протокола управления соединениями для цифровой телефонии ISDN.
Посмотреть Конечный автомат и Q.931
Ragel
Ragel — компилятор конечных автоматов, производящий исходный код на C, C++, C#, Objective-C, D, Java, OCaml, Go и Ruby.
Посмотреть Конечный автомат и Ragel
Reality Engine
Reality Engine — игровой движок, разработанный американской компанией Artificial Studios для лицензирования другим компаниям.
Посмотреть Конечный автомат и Reality Engine
ROHC
ROHC (Robust Header Compression — Надёжное (Помехоустойчивое) Сжатие Заголовков) стандартизированный метод сжатия IP, UDP, UDP Lite, RTP и TCP заголовков Интернет пакетов.
Посмотреть Конечный автомат и ROHC
SDRAM
SDRAM (Synchronous Dynamic Random Access Memory — синхронная динамическая память с произвольным доступом) — тип запоминающего устройства, использующегося в компьютере и других цифровых устройствах в качестве ОЗУ.
Посмотреть Конечный автомат и SDRAM
Specification and Description Language
Specification and Description Language (SDL) — это язык спецификаций с формальной семантикой.
Посмотреть Конечный автомат и Specification and Description Language
Switch-технология
Switch-технология — технология разработки систем логического управления на базе конечных автоматов, охватывающая процесс спецификации, проектирования, реализации, отладки, верификации, документирования и сопровождения.
Посмотреть Конечный автомат и Switch-технология
UML
UML (Unified Modeling Language — унифицированный язык моделирования) — язык графического описания для объектного моделирования в области разработки программного обеспечения, моделирования бизнес-процессов, системного проектирования и отображения организационных структур.
Посмотреть Конечный автомат и UML
КА
Сокращение КА может означать.
Посмотреть Конечный автомат и КА
Классификация абстрактных автоматов
Ниже в тексте используются следующие обозначения: S, X, Y — конечные непустые множества.
Посмотреть Конечный автомат и Классификация абстрактных автоматов
Клини, Стивен Коул
Сти́вен Ко́ул Кли́ни (правильнее — Кле́йни, Stephen Cole Kleene; 5 января 1909, Хартфорд, Коннектикут, США — 25 января 1994, Мадисон, Висконсин, США) — американский и.
Посмотреть Конечный автомат и Клини, Стивен Коул
Компьютер
Клавиатура 11. Компьютерная мышь терминал) 15ИЭ-00-013, блок логики дисплея, блок сопряжения, клавиатура (дисководы размещаются снаружи и на фото не показаны). Компью́тер (computer, МФА: — «вычислитель») — устройство или система, способная выполнять заданную, чётко определённую, изменяемую последовательность операций.
Посмотреть Конечный автомат и Компьютер
Проблемно-ориентированное проектирование
frame Предметно-ориентированное проектирование (реже проблемно-ориентированное, Domain-driven design, DDD) — это набор принципов и схем, направленных на создание оптимальных систем объектов.
Посмотреть Конечный автомат и Проблемно-ориентированное проектирование
Пангеном
Пангено́м, также супрагеном (англ. pan-genome, pangenome, supragenome) — совокупность всех генов рассматриваемой группы организмов (как правило, монофилетической), для которой возможно генетическое разнообразие между близкородственными штаммами или экотипами (Рис.
Посмотреть Конечный автомат и Пангеном
Последовательность Рудина — Шапиро
Последовательность Рудина — Шапиро, также известная как последовательность Голея — Рудина — Шапиро — это бесконечная последовательность, названная в честь Марсела Голея, Уолта Рудина и Гарольда Шапиро, которые независимо исследовали её свойства.
Посмотреть Конечный автомат и Последовательность Рудина — Шапиро
Полнота по Тьюрингу
Полнота по Тьюрингу — характеристика исполнителя (множества вычисляющих элементов) в теории вычислимости, означающая возможность реализовать на нём любую вычислимую функцию.
Посмотреть Конечный автомат и Полнота по Тьюрингу
Первое поколение игровых систем
Первое поколение видеоконсолей началось в 1972 с релиза Magnavox Odyssey и продлилось до 1977, когда изготовители приставок типа «pong» покинули рынок из-за успеха консолей, основанных на микропроцессорах.
Посмотреть Конечный автомат и Первое поколение игровых систем
Перебор по словарю
Перебор по словарю (dictionary attack) — атака на систему защиты, использующая метод полного перебора (brute-force) предполагаемых паролей, используемых для аутентификации, осуществляемого путём последовательного пересмотра всех слов (паролей в чистом виде или их зашифрованных образов) определённого вида и длины из словаря с целью последующего взлома системы и получения доступа к секретной информации.
Посмотреть Конечный автомат и Перебор по словарю
Аркадная система
Арка́дная систе́ма или арка́дная платфо́рма — это специализированная компьютерная система или печатная плата, чьей единственной целью является выполнение различных видеоигр.
Посмотреть Конечный автомат и Аркадная система
Автомат
Автома́т.
Посмотреть Конечный автомат и Автомат
Автомат Мура
Автомат Мура (абстрактный автомат второго рода) в теории вычислений — конечный автомат, выходное значение сигнала в котором зависит лишь от текущего состояния данного автомата, и не зависит напрямую, в отличие от автомата Мили, от входных значений.
Посмотреть Конечный автомат и Автомат Мура
Алгоритм
Алгори́тм — набор инструкций, описывающих порядок действий исполнителя для достижения некоторого результата.
Посмотреть Конечный автомат и Алгоритм
Алгоритм Raft
Raft — алгоритм для решения задач консенсуса в сети ненадёжных вычислений.
Посмотреть Конечный автомат и Алгоритм Raft
Алгоритм Паксос
Паксос (Paxos) — семейство протоколов для решения задачи консенсуса в сети ненадёжных вычислителей.
Посмотреть Конечный автомат и Алгоритм Паксос
Алгебра
Трёхмерный правильный коноид, описанный алгебраическими тригонометрическими уравнениями x.
Посмотреть Конечный автомат и Алгебра
Недетерминированная машина Тьюринга
В теоретической информатике недетерминированная машина Тьюринга — машина Тьюринга, функция перехода которой представляет собой недетерминированный конечный автомат.
Посмотреть Конечный автомат и Недетерминированная машина Тьюринга
Расширенная сеть переходов
Расширенная сеть переходов (РСП) (калька с Augmented transition network, или сокращенно — ATN) — технология грамматической и семантической обработки текстов предложенная американским лингвистом Вудсом.
Посмотреть Конечный автомат и Расширенная сеть переходов
Рабин, Михаэль Ошер
Михаэль Ошер Рабин (Michael Oser Rabin, מִיכָאֵל אֹשֶׁר רַבִּין, родился 1 сентября 1931 года, Вроцлав) — израильский учёный в области теории вычислительных систем, математик, лауреат премии Тьюринга и многих других премий.
Посмотреть Конечный автомат и Рабин, Михаэль Ошер
Синтаксическая диаграмма
Синтаксическая диаграмма — это направленный граф с одним входным ребром и одним выходным ребром и помеченными вершинами.
Посмотреть Конечный автомат и Синтаксическая диаграмма
Скотт, Дана
Да́на Стю́арт Скотт (Dana Stewart Scott, р. 11 октября 1932 года) — американский, известный работами в области математической логики и информатики.
Посмотреть Конечный автомат и Скотт, Дана
Состояние (информатика)
В информатике и теории автоматов состояние цифровой логической схемы или компьютерной программы является техническим термином для всей хранимой информации, к которой схема или программа в данный момент времени имеет доступ.
Посмотреть Конечный автомат и Состояние (информатика)
Сопрограмма
Сопрограммы (coroutines) — методика связи программных модулей друг с другом по принципу кооперативной многозадачности: модуль приостанавливается в определённой точке, сохраняя полное состояние (включая стек вызовов и счётчик команд), и передаёт управление другому.
Посмотреть Конечный автомат и Сопрограмма
Сети Петри
Пример сети Петри. Белыми кружками обозначены позиции, полосками — переходы, чёрными кружками — метки. Сети Петри — математический аппарат для моделирования динамических дискретных систем.
Посмотреть Конечный автомат и Сети Петри
Трахтенброт, Борис Авраамович
Борис Авраамович Трахтенброт (также Борис Абрамович, Boris (Boaz) Trachtenbrot, Trakhtenbrot, Trajtenbrot & Trahtenbrot, בועז טרכטנברוט; 20 февраля 1921, Бричево, Сорокский уезд, Бессарабия — 19 сентября 2016, Реховот, Израиль) — советский и израильский математик в области математической логики, теории алгоритмов и кибернетики.
Посмотреть Конечный автомат и Трахтенброт, Борис Авраамович
Тактовый сигнал
Тактовый сигнал или синхросигнал — сигнал, использующийся для согласования операций одной или более цифровых схем.
Посмотреть Конечный автомат и Тактовый сигнал
Тестирование по стратегии чёрного ящика
Тестирование чёрного ящика или поведенческое тестирование — стратегия (метод) тестирования функционального поведения объекта (программы, системы) с точки зрения внешнего мира, при котором не используется знание о внутреннем устройстве тестируемого объекта.
Посмотреть Конечный автомат и Тестирование по стратегии чёрного ящика
Теория графов
Граф с шестью вершинами и семью рёбрами Тео́рия гра́фов — раздел дискретной математики, изучающий свойства графов.
Посмотреть Конечный автомат и Теория графов
Теорема Кратко
Теорема Кратко — утверждение об алгоритмической неразрешимости проблемы полноты относительно операций суперпозиции и обратной связи для конечных систем автоматов.
Посмотреть Конечный автомат и Теорема Кратко
Теорема Клини
Главный тезис Теоремы Клини: «Классы регулярных множеств и автоматных языков совпадают».
Посмотреть Конечный автомат и Теорема Клини
Теорема о раскраске дорог
В теории графов теорема о раскраске дорог, известная до недавнего времени как гипотеза о раскраске дорог, имеет дело с инструкциями синхронизации.
Посмотреть Конечный автомат и Теорема о раскраске дорог
Теорема Майхилла — Нероуда
В теории формальных языков теорема Майхилла — Нероуда определяет необходимое и достаточное условия регулярности языка.
Посмотреть Конечный автомат и Теорема Майхилла — Нероуда
Устройство управления
Управля́ющий автома́т, устро́йство управле́ния проце́ссором (УУ) — блок, устройство, компонент аппаратного обеспечения компьютеров.
Посмотреть Конечный автомат и Устройство управления
Уровень регистровых передач
Разработка синхронных цифровых интегральных схем на уровне передач данных между регистрами (register transfer level, RTL — уровень регистровых передач) — способ разработки синхронных (англ.) цифровых интегральных схем, при применении которого работа схемы описывается в виде последовательностей логических операций, применяемых к цифровым сигналам (данным) при их передаче от одного регистра к другому (не описывается, из каких электронных компонентов или из каких логических вентилей состоит схема).
Посмотреть Конечный автомат и Уровень регистровых передач
Формальные методы
Z-нотации В информатике и инженерии программного обеспечения формальными методами (formal methods) называется группа техник, основанных на математическом аппарате для спецификации, разработки и верификации программного и аппаратного обеспечения.
Посмотреть Конечный автомат и Формальные методы
Формальная верификация криптографических протоколов
Формальная верификация криптографических протоколов — проверка криптографических протоколов на обеспечение требуемых свойств безопасности.
Посмотреть Конечный автомат и Формальная верификация криптографических протоколов
Хопкрофт, Джон
Джон Эдвард Хопкрофт (John Edward Hopcroft, 7 октября 1939 года, Сиэтл, США) — американский учёный в области теории вычислительных систем, лауреат премии Тьюринга.
Посмотреть Конечный автомат и Хопкрофт, Джон
Мур, Эдвард Форест
Э́двард Фо́рест Мур (23 ноября 1925, Балтимор, штат Мэриленд — 14 июня 2003, Мэдисон, Висконсин) — американский профессор математики и информатики, изобретатель автомата Мура.
Посмотреть Конечный автомат и Мур, Эдвард Форест
Маска (повесть)
«Маска» — повесть польского писателя-философа Станислава Лема.
Посмотреть Конечный автомат и Маска (повесть)
Марков, Александр Александрович (математик)
Александр Александрович Марков (24 марта 1937, Горький — 23 октября 1994, Нижний Новгород) — советский, российский; доктор физико-математических наук, профессор; специалист в области теории кодирования, автор теории алфавитного кодирования, учитывающей структурные модели языков сообщений.
Посмотреть Конечный автомат и Марков, Александр Александрович (математик)
Модель акторов
В компьютерных науках моде́ль а́кторов представляет собой математическую модель параллельных вычислений, которая трактует понятие «актор» как универсальный примитив параллельного численного расчёта: в ответ на получаемые сообщения актор может принимать локальные решения, создавать новые акторы, посылать свои сообщения, а также устанавливать, как следует реагировать на последующие сообщения.
Посмотреть Конечный автомат и Модель акторов
Задача Знама
Графическая демонстрация равенства 1.
Посмотреть Конечный автомат и Задача Знама
Бот (компьютерные игры)
Бот — программа-робот, управляемая компьютером, имитирующая партнёров в сетевой игре, в сетевых поединках, командных сражениях и т. д.
Посмотреть Конечный автомат и Бот (компьютерные игры)
Берштейн, Леонид Самойлович
Леонид Самойлович Берштейн (9 июля 1941 — 3 декабря 2015) — учёный в области математики и информатики, заведующий кафедрой информатики Таганрогского радиотехнического института, доктор технических наук, профессор(1986), заслуженный деятель науки и техники РФ (1996).
Посмотреть Конечный автомат и Берштейн, Леонид Самойлович
Взаимная рекурсия
В математике и программировании взаимная рекурсия — это вид рекурсии, когда два математических или программных объекта, таких как функции или типы данных, определяются в терминах друг друга.
Посмотреть Конечный автомат и Взаимная рекурсия
Викисловарь
Викислова́рь (Wiktionary) — свободно пополняемый многофункциональный многоязычный словарь и тезаурус, основанный на вики-движке.
Посмотреть Конечный автомат и Викисловарь
ДКА
ДКА (трёхбуквенная аббревиатура) может означать.
Посмотреть Конечный автомат и ДКА
Диаграмма состояний (UML)
Пример диаграммы состояний. Диаграмма состояний — это, по существу, диаграмма состояний из теории автоматов со стандартизированными условными обозначениями D.
Посмотреть Конечный автомат и Диаграмма состояний (UML)
Детерминированный алгоритм
Детерминированный алгоритм — алгоритмический процесс, который выдаёт уникальный и предопределённый результат для заданных входных данных.
Посмотреть Конечный автомат и Детерминированный алгоритм
Также известен как DFA, Finite state automaton, Finite state machine, Автомат конечный, НКА, Эквивалентность детерминированных и недетерминированных конечных автоматов, Конечные автоматы.