АВТОМАТИЧНА ЕКВИВАЛЕНТНОСТ
1еквивалентност
асимптотична еквивалентност - асимптотична еквивалентност
2еквивалентност
асимптотична еквивалентност - асимптотична еквивалентност
3еквивалентност на автомати
4еквивалентност на автомати
5еквивалентност на автомати
6еквивалентност на автомати
7еквивалентност на автомати
8еквивалентност на автомати
9еквивалентност
10Еквивалент
11Еквивалент
12моторна еквивалентност
13моторна еквивалентност
14Еквивалент
15еквивалентност на отговорите
16еквивалентност на реакцията
17Еквивалент
18Еквивалент
19Еквивалент
20Еквивалент
Вижте и други речници:
АВТОМАТИЧНАТА ЕКВИВАЛЕНТНОСТ е отношение на еквивалентност на набор от автомати, което възниква във връзка с изследването на определени съществени свойства на автоматите. Обикновено такова свойство е поведение на автомат, така че два автомата се считат за еквивалентни, ако имат ... ... Математическа енциклопедия
АВТОМАТИЧНИЯ ХОМОМОРФИЗЪМ е преобразуване на входните и изходните азбуки, както и набора от състояния на един автомат в подобни набори на друг автомат, като се запазват преходните и изходните функции. По-точно, A.G. на автомат в автомат (вижте Краен автомат) е преобразуване ... Енциклопедия по математика
Теорията на автоматите е част от теоретичната кибернетика (виж Кибернетика), чийто обект на изследване са различни преобразуватели на дискретна информация; възниква в началото на 1950 г. 20-ти век във връзка с изискваниятапрактики в компютърния дизайн ... ... Велика съветска енциклопедия
Еквивалентност на детерминистични и недетерминирани крайни автомати - Краен автомат в теорията на алгоритмите е математическа абстракция, която ви позволява да опишете начините, по които състоянието на даден обект се променя в зависимост от текущото му състояние и входни данни, при условие че общият възможен брой състояния е краен. ... ... Wikipedia
АЛГЕБРА НА ЛОГИКАТА — алгебрична система. методи за логическо решение. задачи, както и набор от задачи, решени с такива методи. A. l. в тесния смисъл на думата алгебричен. (табличен, матричен) изграждане на класическия. пропозиционална логика, която се занимава с ... ... Философска енциклопедия
ПОЛИГОН — над моноида R, R е многоъгълник, операнд, непразно множество с моноид от оператори. По-точно, непразното множество Anaz. ляво P. над моноида K, ако за всяко и продуктът е дефиниран, и 1a = a за всяко . Дясно P. се определя по подобен начин ... ... Математическа енциклопедия
Изграждане на анализатор въз основа на подхода на автомата — Изграждането на анализатор на базата на подхода на автомата е един от начините за изграждане на анализатор, който използва представянето на анализирания език като краен автомат. Съдържание 1 Синтактичен алгоритъм ... ... Wikipedia
Теорема на Клийн — Основната теза на теоремата на Клийн: „Класовете на регулярните множества и автоматните езици съвпадат.“ Доказателство на теоремата на Клийн Всеки преходен график на краен автомат винаги може да бъде представен в нормализирана форма, в която има само един начален ... ... Wikipedia
КОМБИНАТОРЕН АНАЛИЗ - комбинаторна математика, комбинаторика, клон на математиката, посветен на решаването на проблеми с избора и подреждането на елементи от някои, обикновенокрайни, зададени в съответствие с дадените правила. Всяко такова правило определя метода на конструиране ... ... Математическа енциклопедия
Недетерминирана машина на Тюринг - Машина на Тюринг Варианти на машини Универсална машина на Тюринг Квантова машина на Тюринг Само за четене Машина на Тюринг Само за четене Дясно движещи се машини Машини на Тюринг Nedeter вероятностна машина на Тюринг ... Wikipedia
ЕКВИВАЛЕНТНИ ТРАНСФОРМАЦИИ — системи за управление на трансформации, които запазват отношението на еквивалентност (c.e.) на системи за управление (c.s.). Те се използват в проблеми на оптимизация, управление, а също и като средство за характеризиране (например аксиоматизация) на определени класове на y. с.; ... ... Математическа енциклопедия