математическая модель преобразователя дискретной информации, имеющего конечнуюпамять; представляется обычно как система (A, Q, B, φ, ψ), где A, Q и B — конечные алфавиты (соответственно входных символов, состояний и выходных символов), а φ и ψ — операторы, отображающие множество A × Q соответственно в Q и B
Регулярные грамматики и конечныеавтоматыКонечнымавтоматом является определённое устройство, которое... Конечныйавтомат К * может быть определён с помощью следующего выражения:
К={ A, Q, q0, g, F}.... ,n} и принимающей значения из множества Q (когда g(qi,aj) = qk, то это значит, что конечныйавтомат,... Совокупность L(K) именуется языком, который способен распознать данный конечныйавтомат «К».... Язык L считается регулярным, если он может быть распознан некоторым конечнымавтоматом.
Вводится понятие реконфигурируемых конечных автоматов как формальной модели для описания автоматов, конфигурация которых может быть изменена во время работы. С появлением устройств реконфигурируемой логики эта модель становится важной для описания и создания реконфигурирующегося оборудования. Предлагаются алгоритмические решения и эффективная аппаратная реализация процесса преобразования существующего конечного автомата в другой конечный автомат.
Замечание 1
Абстрактный синтез конечныхавтоматов — это один из этапов синтеза автоматов, который... Абстрактный синтез конечныхавтоматовАвтоматом является дискретный преобразователь информации, который... , являются конечными, то автомат именуется конечнымавтоматом.... помощи конечной совокупности символов.... Когда множества А, Х и У являются конечными, то и автомат именуется конечным.
Сообщается о применениях конечных автоматов в качестве криптоалгоритмов и их компонент, известных из открытой литературы, в том числе в поточных и автоматных шифрсистемах, в симмметричных шифрах и криптосистемах с открытым ключом. Как автоматная шифрсистема описывется японская шифровальная машина времён Второй мировой войны Purple. Даются оценки числа попарно неэквивалентных ключей в шифре Закревского, построенного на основе сильносвязного конечного автомата с функцией выходов, биективной в каждом состоянии. Излагаются элементы теории симметричных поточных и автоматных шифрсистем, демонстрирующие функциональную эквивалентность их классов и неотличимость самосинхронизирующихся таких систем от регистровых.
преобразование плоскости (пространства), переводящее каждую точку P в такую точку P′, лежащую на луче OP , что OP̅ · OP̅′ = c, где O — фиксированная точка (центр, или полюс инверсии) и c ≠ 0 — постоянная (коэффициент, или степень инверсии)