11 отношения: Касьянов, Виктор Николаевич, Кортеж (информатика), Конечное множество, Абстрактный автомат, Строковый тип, Теорема Шеннона — Лупанова, Муравей Лэнгтона, Минимальная форма автомата, Игра «Жизнь», Бесконечное множество, Лемма о разрастании.
Касьянов, Виктор Николаевич
Касьянов Виктор Николаевич (родился 15 августа 1948 в городе Барановичи БССР) — доктор физико-математических наук, профессор, главный научный сотрудник и заведующий лабораторией «Конструирование и оптимизация программ» Института систем информатики СО РАН им.
Новый!!: Теория автоматов и Касьянов, Виктор Николаевич · Узнать больше »
Кортеж (информатика)
Кортеж — упорядоченный набор фиксированной длины.
Новый!!: Теория автоматов и Кортеж (информатика) · Узнать больше »
Конечное множество
Конечное множество — множество, количество элементов которого конечно, то есть, существует неотрицательное целое число k, равное количеству элементов этого множества.
Новый!!: Теория автоматов и Конечное множество · Узнать больше »
Абстрактный автомат
Абстра́ктный автома́т (в теории алгоритмов) — математическая абстракция, модель дискретного устройства, имеющего один вход, один выход и в каждый момент времени находящегося в одном состоянии из множества возможных.
Новый!!: Теория автоматов и Абстрактный автомат · Узнать больше »
Строковый тип
В программировании, строковый тип (string «нить, вереница») — тип данных, значениями которого является произвольная последовательность (строка) символов алфавита.
Новый!!: Теория автоматов и Строковый тип · Узнать больше »
Теорема Шеннона — Лупанова
Теорема Шеннона — Лупанова определяет число элементов, необходимых для реализации автомата в заданном автоматном базисе.
Новый!!: Теория автоматов и Теорема Шеннона — Лупанова · Узнать больше »
Муравей Лэнгтона
Муравей Лэнгтона — это двумерный клеточный автомат с очень простыми правилами, изобретенный Крисом Лэнгтоном.
Новый!!: Теория автоматов и Муравей Лэнгтона · Узнать больше »
Минимальная форма автомата
Минимальный автомат — это автомат, имеющий наименьшее возможное количество состояний и реализующий заданную функцию выходов.
Новый!!: Теория автоматов и Минимальная форма автомата · Узнать больше »
Игра «Жизнь»
Игра «Жизнь» (Conway's Game of Life) — клеточный автомат, придуманный английским математиком Джоном Конвеем в 1970 году.
Новый!!: Теория автоматов и Игра «Жизнь» · Узнать больше »
Бесконечное множество
Бесконечное множество — множество, не являющееся конечным.
Новый!!: Теория автоматов и Бесконечное множество · Узнать больше »
Лемма о разрастании
Лемма о накачке (лемма о разрастании, лемма-насос; pumping lemma) — важное утверждение теории автоматов, позволяющее во многих случаях проверить, является ли данный язык автоматным.
Новый!!: Теория автоматов и Лемма о разрастании · Узнать больше »