Eu acho que a resposta é afirmativa. Talvez haja uma prova mais simples, mas aqui está um esboço de uma prova que usa álgebra linear.
Como domotorp, veremos uma configuração de um autômato XOR de estado n como um vetor em V = GF (2) n .
Seja L um idioma finito sobre um alfabeto Σ = {1,…, k } e considere um autômato XOR para L com o número mínimo de estados. Seja n o número de estados. Supomos que os estados sejam rotulados como 1,…, n e o estado 1 seja o estado inicial.
Primeiro, configuramos a notação. Deixe v 0 = (1, 0, ..., 0) t ∈ V ser o vector elementar correspondente ao estado inicial, e deixe s ser o vector da linha cujo i th entrada é 1, se e apenas se o estado i é um estado de aceitação. O subespaço R = { v : s v = 0} de V corresponde aos vetores de configuração que são rejeitados.
Para cada um ∈Σ, deixar Um um ser o n x n matriz sobre GF (2), o qual representa a transição provocada pela letra um . Por exemplo, o vetor de configuração após a leitura da sequência de entrada a b é A b A a v 0 . Para uma sequência σ = a 1 … a t , denotamos o produto A a t … A a 1 por M ( σ ). Seja S = { A 1,…, A k }.
Um subespaço W de V é dito para ser S - invariante quando Um W ⊆ W para cada um ∈ S . Em nosso contexto, isso significa que, uma vez que o vetor de configuração entra em W , não há como sair de W lendo mais letras.
Como esse autômato XOR possui o número mínimo de estados, temos as seguintes propriedades.
- O único subespaço de V com variação S que contém v 0 é o próprio V. Isso ocorre porque, se W é um subespaço de inversão S adequado, contendo v 0 , então podemos usar W no lugar de V , contradizendo a minimalidade.
- O único subespaço com variação S contido em R é {0}. Isso ocorre porque se W é um subespaço não trivial de inversão S contido em R , então podemos usar o espaço vetorial quociente V / W no lugar de V , contradizendo novamente a minima.
Uma vez que L é finito, deixe m ser um número inteiro maior do que o comprimento de qualquer cadeia em L .
Lema 1 . Para qualquer string σ de comprimento pelo menos m , temos esse M ( σ ) = 0.
Prova. Primeiro, provamos que, para qualquer string σ de comprimento pelo menos m , temos que M ( σ ) v 0 = 0. Seja W o subespaço de V estendido por { M ( σ ) v 0 : σ é uma cadeia de comprimento pelo menos m }. Por definição, W é S- variável. Porque o autómato XOR em questão rejeita estas cordas σ , W está contido em R . Portanto, W = {0}, o que significa queM ( σ ) v 0 = 0 para todas essas cadeias σ .
Agora, considere qualquer vector v ∈ V . Uma vez que a única S subespaço -invariant de V que contém v 0 é V si, v pode ser escrito como uma combinação linear de vectores da forma H ( τ ) v 0 para algumas cadeias τ . Porque M ( σ ) M ( τ ) v 0 = M ( τ σ ) v 0= 0 (a última igualdade segue o parágrafo anterior porque o comprimento de τ σ é pelo menos m ), sustenta que M ( σ ) v = 0. ■
Precisamos de mais um fato da álgebra linear.
Lema 2 . Deixe Um 1 , ..., A k ser n × n matrizes sobre um campo, e definir M ( σ ) como acima. Se houver m ≥0 tal que M ( σ ) = 0 para cada string σ de comprimento pelo menos m , as matrizes A 1 ,…, A k são simultaneamente semelhantes às matrizes triangulares estritamente inferiores (ou seja, existe um n × n matriz não singular P tal que as matrizes P −1 A1 P ,…, P −1 A k P são estritamente triangulares inferiores).
O caso de k = 1 é uma caracterização bem conhecida de matrizes nilpotentes, e o lema 2 pode ser provado da mesma maneira.
Agora considere o autômato n- state XOR no qual a matriz de transição correspondente ao símbolo a é dada por P- 1 A a P , o vetor de configuração inicial é dado por P- 1 v 0 e o vetor característico (linha) de os estados de aceitação é dado por s P . Por construção, esse autômato XOR aceita o mesmo idioma L. Como as matrizes de transição são estritamente triangulares mais baixas, todas as arestas de transição neste autômato XOR passam de um estado com um índice menor para um estado com um índice maior e, portanto, esse autômato XOR é acíclico. Embora o vetor de configuração inicial possa ter mais de um 1s, é fácil converter esse autômato XOR em um autômato XOR comum com um único estado inicial para o mesmo idioma sem aumentar o número de estados ou arruinar a aciclicidade.