Более быстрый доступ, чем браузер!
21 отношения: JFLAP, Sequential Function Chart, Компилятор, Программируемый логический контроллер, Автомат Мура, Автомат Мили, Автоматное программирование, Регулярный язык, Рекурсивная функция (теория вычислимости), Сети Петри, Секвенциальная логика, Транслятор, Таблица принятия решений, Тестирование на основе модели, Тестирование программного обеспечения, Теорема Клини, Физматлит, Экспоненциальный рост, Машина Поста, Машина Тьюринга, Глушков, Виктор Михайлович.
JFLAP
JFLAP (Java Formal Languages and Automata Package) — свободная кроссплатформенная программа для экспериментов с различными объектами, встречающихся в теории формальных языков.
Новый!!: Конечный автомат и JFLAP · Узнать больше »
Sequential Function Chart
Sequential Function Chart-(последовательные функциональные схемы) — язык программирования стандарта IEC61131-3.
Новый!!: Конечный автомат и Sequential Function Chart · Узнать больше »
Компилятор
Компиля́тор — программа или техническое средство, выполняющее компиляциюГОСТ 19781-83 //; см.
Новый!!: Конечный автомат и Компилятор · Узнать больше »
Программируемый логический контроллер
Модульный программируемый логический контроллер Программи́руемый логи́ческий контро́ллер (сокр. ПЛК; programmable logic controller, сокр. PLC; более точный перевод на русский — контроллер с программируемой логикой), программируемый контроллер — промышленный контроллер, используемый для автоматизации технологических процессов.
Новый!!: Конечный автомат и Программируемый логический контроллер · Узнать больше »
Автомат Мура
Автомат Мура (абстрактный автомат второго рода) в теории вычислений — конечный автомат, выходное значение сигнала в котором зависит лишь от текущего состояния данного автомата, и не зависит напрямую, в отличие от автомата Мили, от входных значений.
Новый!!: Конечный автомат и Автомат Мура · Узнать больше »
Автомат Мили
Диаграмма состояний автомата Мили (Граф автомата) Автомат Мили (Mealy machine) — конечный автомат, выходная последовательность которого (в отличие от автомата Мура) зависит от состояния автомата и входных сигналов.
Новый!!: Конечный автомат и Автомат Мили · Узнать больше »
Автоматное программирование
Автома́тное программи́рование — это парадигма программирования, при использовании которой программа или её фрагмент осмысливается как модель какого-либо формального автомата.
Новый!!: Конечный автомат и Автоматное программирование · Узнать больше »
Регулярный язык
Регуля́рный язык (регуля́рное мно́жество) в теории формальных языков — формальный язык, который может быть выражен средствами регулярных выражений.
Новый!!: Конечный автомат и Регулярный язык · Узнать больше »
Рекурсивная функция (теория вычислимости)
Термин рекурсивная функция в теории вычислимости используется для обозначения трёх классов функций.
Новый!!: Конечный автомат и Рекурсивная функция (теория вычислимости) · Узнать больше »
Сети Петри
Пример сети Петри. Белыми кружками обозначены позиции, полосками — переходы, чёрными кружками — метки. Сети Петри — математический аппарат для моделирования динамических дискретных систем.
Новый!!: Конечный автомат и Сети Петри · Узнать больше »
Секвенциальная логика
Секвенциальная логика — это логика памяти цифровых устройств.
Новый!!: Конечный автомат и Секвенциальная логика · Узнать больше »
Транслятор
Трансля́тор — программа или техническое средство, выполняющее трансляцию программыГОСТ 19781-83 //.
Новый!!: Конечный автомат и Транслятор · Узнать больше »
Таблица принятия решений
Таблица принятия решений (таблица решений) — способ компактного представления модели со сложной логикой.
Новый!!: Конечный автомат и Таблица принятия решений · Узнать больше »
Тестирование на основе модели
Тестирование на основе модели (Model-based testing) — это тестирование программного обеспечения, в котором варианты тестирования (test cases) частично или целиком получаются из модели, описывающей некоторые аспекты (чаще функциональные) тестируемой системы (system under test).
Новый!!: Конечный автомат и Тестирование на основе модели · Узнать больше »
Тестирование программного обеспечения
Тести́рование програ́ммного обеспе́че́ния — процесс исследования, испытания программного продукта, имеющий своей целью проверку соответствия между реальным поведением программы и её ожидаемым поведением на конечном наборе тестов, выбранных определенным образом (ISO/IEC TR 19759:2005).
Новый!!: Конечный автомат и Тестирование программного обеспечения · Узнать больше »
Теорема Клини
Главный тезис Теоремы Клини: «Классы регулярных множеств и автоматных языков совпадают».
Новый!!: Конечный автомат и Теорема Клини · Узнать больше »
Физматлит
Физматлит (Издательство физико-математической и технической литературы) — одно из ведущих российских издательств, выпускающее учебную литературу для вузов, втузов и дополнительного образования, научную и справочную литературу во всех областях физики и математики.
Новый!!: Конечный автомат и Физматлит · Узнать больше »
Экспоненциальный рост
Линейная (красная), степенная (синяя) и экспоненциальная (зелёная) зависимости Экспоненциальный рост — возрастание величины, когда скорость роста пропорциональна значению самой величины.
Новый!!: Конечный автомат и Экспоненциальный рост · Узнать больше »
Машина Поста
Маши́на По́ста — абстрактная вычислительная машина, предложенная Эмилем Постом в 1936 году, создана независимо от машины Тьюринга, но сообщение о машине Поста опубликовано на несколько месяцев позднее.
Новый!!: Конечный автомат и Машина Поста · Узнать больше »
Машина Тьюринга
Художественное представление машины Тьюринга Маши́на Тью́ринга (МТ) — абстрактный исполнитель (абстрактная вычислительная машина).
Новый!!: Конечный автомат и Машина Тьюринга · Узнать больше »
Глушков, Виктор Михайлович
Ви́ктор Миха́йлович Глушко́в (РСФСР, СССР —,, СССР) — советский математик, кибернетик.
Новый!!: Конечный автомат и Глушков, Виктор Михайлович · Узнать больше »
Перенаправления здесь:
DFA, Finite state automaton, Finite state machine, Автомат конечный, НКА, Эквивалентность детерминированных и недетерминированных конечных автоматов, Конечные автоматы.
