Преимущества автоматов XOR (NXA) для конечных языков от циклов?

14

Недетерминированный Xor автомат (NXA) является синтаксически NFA, но говорят, что NXA принимает слово, если оно имеет нечетное число принимающих путей (вместо хотя бы одного принимающего пути в случае NFA).

Легко видеть, что для конечного регулярного языка L существует минимальный NFA, который не содержит циклов (если цикл был и достижимым из исходного состояния, и вы переходите из него в принимающее состояние - ваш язык не является конечно).

Это не обязательно так для NXA.

Обозначим через , XOR-состояние сложность языкового ,xsc(L)L

и в ациклического XOR государственной сложности L (т.е. размер наименьшего ациклического NXa , который принимает л ).axsc(L)LL

Верно ли, что для любого конечного языка L :

axsc(L)=xsc(L) ?
RB
источник
Не могли бы вы привести пример NXA, содержащий (некоторые) циклы для конечного языка?
Абузер Якарылмаз
2
Если есть циклы, может быть бесконечное число принимающих путей (если вы разрешите ребер), поэтому вы должны запретить ϵ- циклы. ϵϵ
Юваль Фильмус
@Abuzer Примером может служить один автомат состояний без принимающих состояний. Я знаю, что это глупый пример, но суть вопроса в том, что каждый цикл является съемным.
Domotorp
Кстати, как вы определяете цикл? Пути, ведущие к принятию состояний, должны быть свободными от циклов?
Domotorp

Ответы:

5

Я думаю, что ответ утвердительный. Может быть, есть более простое доказательство, но вот набросок доказательства, в котором используется линейная алгебра.

Как и domotorp, мы будем рассматривать конфигурацию n- состояния XOR-автомата как вектор из V = GF (2) n .

Пусть L - конечный язык над алфавитом Σ = {1,…, k }, и рассмотрим XOR-автомат для L с минимальным числом состояний. Пусть n будет числом состояний. Мы предполагаем, что состояния помечены как 1,…, n , а состояние 1 является начальным состоянием.

Сначала мы настроили обозначение. Пусть v 0 = (1, 0,…, 0) TV - элементарный вектор, соответствующий начальному состоянию, и пусть s - вектор строки, i- я запись которого равна 1, если и только если состояние i является принимающим состоянием. Подпространство R = { v : s v = 0} в V соответствует отклоненным векторам конфигурации.

Для каждого a ∈ Σ пусть A a будет матрицей n × n над GF (2), которая представляет переход, вызванный буквой a . Например, вектором конфигурации после считывания входной строки a b является A b A a v 0 . Для строки сг = 1 ... в т , мы обозначим произведение т ... 1 по М ( сг ). Пусть S = { A 1,…, A k }.

Подпространство W из V называется S - инвариантна при WW для каждого ∈ S . В нашем контексте это означает, что, как только вектор конфигурации переходит в W , нет выхода из W путем чтения большего количества букв.

Поскольку этот XOR-автомат имеет минимальное количество состояний, мы имеем следующие свойства.

  • Единственным S -инвариантным подпространством в V , содержащим v 0, является сам V. Это потому, что если W - правильное S -инвариантное подпространство, содержащее v 0 , то мы можем использовать W вместо V , что противоречит минимальности.
  • Единственное S -инвариантное подпространство, содержащееся в R, это {0}. Это потому, что если W - нетривиальное S -инвариантное подпространство, содержащееся в R , то мы можем использовать фактор-векторное пространство V / W вместо V , что опять-таки противоречит минимальности.

Поскольку L конечно, пусть т быть целым числом больше , чем длина любой строки в L .

Лемма 1 . Для любой строки σ длиной не менее m имеем M ( σ ) = 0.

Доказательство. Сначала докажем, что для любой строки σ длины не менее m имеем M ( σ ) v 0 = 0. Пусть W - подпространство в V, натянутое на { M ( σ ) v 0 : σ - строка длиной не менее m }. По определению W является S -инвариантным. Поскольку рассматриваемый автомат XOR отклоняет эти строки σ , W содержится в R . Поэтому W = {0}, что означает, чтоM ( σ ) v 0 = 0 для всех таких строк σ .

Теперь рассмотрим любой вектор vV . Поскольку единственным S -инвариантным подпространством в V , содержащим v 0, является сам V , v можно записать в виде линейной комбинации векторов вида M ( τ ) v 0 для некоторых строк τ . Поскольку M ( σ ) M ( τ ) v 0 = M ( τ σ ) v 0= 0 (последнее равенство следует из предыдущего абзаца, так как длина ) v = 0. ■τ σ не менее m ), оно гласит, что M ( σ

Нам нужен еще один факт из линейной алгебры.

Лемма 2 . Пусть A 1 ,…, A k - матрицы n × n над полем, и определим M ( σ ), как указано выше. Если существует m ≥0 такое, что M ( σ ) = 0 для каждой строки σ длины не менее m , то матрицы A 1 ,…, A k одновременно аналогичны строго нижним треугольным матрицам (то есть существует n × n неособая матрица P такая, что матрицы P −1 A 1 P ,…, P − 1 A k P строго нижнего треугольника).

Случай k = 1 является хорошо известной характеристикой нильпотентных матриц, и лемма 2 доказывается аналогичным образом.

Теперь рассмотрим XOR-автомат из n состояний, в котором матрица переходов, соответствующая символу a ∈Σ, задана P −1 A a P , вектор начальной конфигурации задан P −1 v 0 , а вектор характеристики (строки) принимающие государства дается ей P . По построению этот XOR-автомат принимает тот же язык L, Поскольку матрицы перехода строго треугольны снизу, каждое ребро перехода в этом автомате XOR переходит из состояния с меньшим индексом в состояние с большим индексом, и, следовательно, этот автомат XOR является ациклическим. Хотя вектор начальной конфигурации может иметь более одной единицы, этот XOR-автомат легко преобразовать в обычный XOR-автомат с одним начальным состоянием для того же языка без увеличения количества состояний или нарушения ацикличности.

Цуёси Ито
источник
Как использование факторного векторного пространства V / W переводится на использование NXA с <n состояниями?
Абель Молина
Aa¯s¯Aa¯s¯
4

Я думаю, что могу доказать, что циклы не помогают по унарному алфавиту.

MF2vnF2mod2nvn=Mnv0v0=(1,0,..,0)tsv=0sMnsvn=0

domotorp
источник