АВТОМАТІВ ЕКВІВАЛЕНТНІСТЬ
1еквівалентність
асимптотична еквівалентність — асимптотична еквівалентність
2еквівалентність
асимптотична еквівалентність — асимптотична еквівалентність
3еквівалентність автоматів
4еквівалентність автоматів
5еквівалентність автоматів
6еквівалентність автоматів
7еквівалентність автоматів
8еквівалентність автоматів
9еквівалентність
10еквівалентність
11еквівалентність
12рухова еквівалентність
13моторна еквівалентність
14еквівалентність
15еквівалентність відповідей
16еквівалентність реакцій
17еквівалентність
18еквівалентність
19еквівалентність
20еквівалентність
також в інших словниках:
АВТОМАТІВ ЕКВІВАЛЕНТНІСТЬ - відношення еквівалентності на безлічі автоматів, що виникає у зв'язку з вивченням тих чи інших змістовних властивостей автоматів. Зазвичай такою властивістю є поведінка автоматів, так що два автомати вважаються еквівалентними, якщо вони мають… … Математична енциклопедія
АВТОМАТІВ ГОМОМОРФІЗМ — відображення вхідного та вихідного алфавітів, а також безлічі станів одного автомата в аналогічні множини іншого автомата, що зберігає функції переходів та виходів. Більш точно А. р. автомата в автомат (див. Автомат кінцевий) це відображення … Математична енциклопедія
Автоматів теорія - частина теоретичної кібернетики, об'єктом дослідження якої є різні перетворювачі дискретної інформації; виникла на початку 50-х років. 20 ст. у зв'язку з вимогамипрактики проектування обчислювальних ... Велика радянська енциклопедія
Еквівалентність детермінованих та недетермінованих кінцевих автоматів — Кінцевий автомат у теорії алгоритмів математична абстракція, що дозволяє описувати шляхи зміни стану об'єкта в залежності від його поточного стану та вхідних даних, за умови що загальна можлива кількість станів звичайно.… … Вікіпедія
АЛГЕБРА ЛОГІКИ - система алгебраїч. методів вирішення логіч. задач, і навіть сукупність завдань, розв'язуваних такими методами. А. л. у вузькому значенні слова алгебраїч. (Табличне, матричне) побудова класич. логіки висловлювань, в якому розглядаються... Філософська енциклопедія
ПОЛІГОН - над моноїдом R, R полігон, операнд, непорожня множина з моноідом операторів. Точніше, непорожня безліч Аназ. лівим П. над моноідом До, якщо для будь-яких і визначено твір, причому і 1а=а для будь-яких. Правий П. визначається аналогічно.
Побудова синтаксичного аналізатора на основі автоматного підходу — Побудова синтаксичного аналізатора на основі автоматного підходу один із способів побудови синтаксичного аналізатора, який використовує уявлення аналізованої мови у вигляді кінцевого автомата. Зміст 1 Алгоритм синтаксичного ... Вікіпедія
Теорема Кліні — Головна теза Теореми Кліні: «Класи регулярних множин та автоматних мов збігаються». Доказ теореми Кліні Будь-який граф переходів кінцевого автомата завжди можна уявити в нормалізованій формі, в якій тільки одна початкова ... Вікіпедія
КОМБІНАТОРНИЙ АНАЛІЗ — комбінаторна математика, комбінаторика, розділ математики, присвячений вирішенню завдань вибору та розташування елементів деякого, зазвичайкінцевої, множини відповідно до заданих правил. Кожне таке правило визначає спосіб побудови.
Недетермінована машина Тьюринга — Машина Тьюринга Варіанти машин Універсальна машина Тьюринга Квантова машина Тьюринга en:Read only right moving Turing Machines Вірогідна машина Тьюринга Недетер … Вікіпедія
ЕКВІВАЛЕНТНІ ПЕРЕТВОРЕННЯ — керуючих систем перетворення, що зберігають відношення еквівалентності (о. е.) керуючих систем (у. с.). Використовуються в задачах оптимізації, контролю, а також як засіб характеризації (напр., Аксіоматизації) певних класів. с.;… … Математична енциклопедія