Результаты поиска

...«Классы [[Регулярное множество|регулярных множеств]] и [[Конечный автомат#Автоматы и регулярные языки|автоматных языков]] совпадают». * [[Конечные автоматы]] ...

...автоматы]] на случай бесконечных входов. Оба являются видами ω-автоматов. Автоматы Бюхи распознают [[ω-регулярный язык|ω-регулярные языки]], бесконечную верси Автоматы Бюхи часто используются при [[Проверка моделей|проверке моделей]] формулы в ...

<math>S</math>, <math>X</math>, <math>Y</math> — конечные непустые множества '''По способу формирования функций выходов''' выделяют автоматы '''Мили''' и '''Мура'''. ...

[[Категория:Конечные автоматы]] ...

Если заданы [[таблица переходов]] и [[эквивалентные автоматы|эквивалентное разбиение]] ''Σ₁..Σ_ň'' автомата ''S'', [[Категория:Конечные автоматы]] ...

...], каждый элемент которой имеет конечный [[Порядок элемента|порядок]]. Все конечные группы периодичны. Понятие периодической группы не следует путать с понятие |заглавие = Конечные автоматы и проблема Бернсайда о периодических группах ...

[[Категория:Конечные автоматы]] ...

Помимо конечных автоматов существуют и бесконечные дискретные автоматы — автоматы с бесконечным числом внутренних состояний. ...ода, и [[недетерминированный конечный автомат|недетерминированные конечные автоматы]], следующее состояние у которых в общем случае не определено и, соответств ...

...атика|дискретной математики]], изучающий [[абстрактный автомат|абстрактные автоматы]] — вычислительные машины, представленные в виде математических моделей, и ...состоянии'' и функциями переходов автомата, в простейшем случае (конечные автоматы) задающих только возможность перехода из одного состояние в другое при чтен ...

конечные автоматы. Детерминизация недетерминированных ...

...ереходов|||transition system}} или {{не переведено 5|полуавтомат (конечные автоматы)|полуавтомат||semiautomaton}}. == Полные и неполные автоматы == ...

...ания систем целиком и пришёл к мысли о необходимости использовать конечные автоматы ({{lang-en|state machine}}), которым придавался смысл формул темпоральной л ...

...{не переведено 5|Самопроверочный конечный автомат|самопроверочные конечные автоматы||self-verifying finite automaton}} ({{lang-en|self-verifying finite automat === Автоматы === ...

=== Фильтры, использующие конечные автоматы === [[Детерминированный конечный автомат|Детерминированные конечные автоматы]] являются идеальными средствами для выражений с предложенными ограничениям ...

...ющие цепи, [[Детерминированный конечный автомат|детерминированные конечные автоматы]], списки решений, деревья решений и другие классы понятий на геометрическо ...

| заглавие = Ориентированные графы и конечные автоматы ...

...проводится по оглавлению второй части книги{{sfn|''Басакер Р., Саати Т.'' Конечные графы и сети, 1974|loc=Часть II. Приложения теории графов}}. ...онечные автоматы]]{{sfn|''Мелихов А. Н.'' Ориентированные графы и конечные автоматы, 1971}}; ...

Чаще всего на практике конечные автоматы представляются в виде [[Ориентированный граф|ориентированного графа]] (''ди ! Максимальные суффиксные автоматы&nbsp; ...

...этого слова в документе, поэтому в качестве единиц имеются только конечные автоматы с одним состоянием. Сам автомат имеет распределение вероятностей на всём сл ...

...программирование]] первоначально использовало [[конечный автомат|конечные автоматы]] для предсказания обстоятельств и разнообразие и отбор для оптимизации лог ...