Autômato Probabilístico
Em matemática e ciência da computação, o autômato probabilístico (AP) é uma generalização do autômato finito não determinístico; que inclui a probabilidade de uma dada transição para a função de transição, transformando-a numa matriz de transição ou matriz estocástica. Assim, o autômato probabilístico generaliza o conceito de uma Cadeia de Markov ou submudança de tipo infinito. As linguagens reconhecidas pelo autômato probabilístico são chamadas de linguagens estocásticas; que incluem as linguagens regulares como um subconjunto. O número de linguagens estocásticas é incontável.
O conceito foi introduzido por Michael O. Rabin em 1963;[1] de um determinado caso especial também conhecido como o Autômato de Rabin. Nos últimos anos, a variante foi formulada em termos de probabilidades quânticas, o Autômato quântico.
Definição
[editar | editar código-fonte]O autômato probabilístico pode ser definido como uma extensão de um autômato finito não-determinístico , em conjunto com duas probabilidades: a probabilidade de uma transição de estado ocorrer, e com o estado inicial substituído por um vetor estocástico dando a probabilidade de um autômato existir em um dado estado inicial.
Para o autômato finito não-determinístico comum, temos
- um finito conjunto de estados
- um conjunto finito de símbolos
- uma função de transição
- um conjunto de estados definido como de aceitação (ou final) .
Aqui, indica o Conjunto de partes de .
com o uso de currying, a função de transição de um autômato finito não determinístico pode ser escito como uma Função indicadora
de modo que se e se . A função de transição curry pode ser entendida para ser uma matriz de matrizes de entrada.
A matriz é então uma matriz quadrada, cujas entradas são zero ou um, indicando se a transição é perminitida pelo AFN. Toda matriz de transição é sempre definida por um autômato finito não-determinístico.
O autômato probabilístico substitui essa matriz por um matiz estocástica ,de modo que a probabilidade de uma transição é dada por
A mudança de estado de um para outro deve ocorrer com uma probabilidade, claro, por isso deve-se ter
para todos os símbolos de entrada e estados internos . O estado inicial de um autômato probabilístico é dado por um vetor linha ,cujos componentes adicionam à unidade:
A matriz de transição atua na direita, de modo que o estado do autômato probabilístico, depois de consumir a cadeia de entrada , seria
Em particular, o estado de um autômato probabilístico é sempre um vetor estocástico, já que o produto de quaisquer duas matrizes estocásticas é uma matriz estocástica, e o produto de um vetor estocástico e uma matriz estocástica é novamente um vetor estocástico. Este vetor às vezes é chamado de distribuição de estados, enfatizando que é umadistribuição de probabilidade.
Formalmente, a definição de um autômato probabilístico não requer uma mecânica de um autômato finito não-determinístico, que pode ser dispensado. Formalmente, um autômato probabilístico AP é definido como uma tupla . Um Autômato de Rabin é aquele cuja distribuição inicial é um vetor de coordenadas; ou seja, tem zero para todas as entradas menos uma, sendo essa remanescente um.
Linguagens Estocásticas
[editar | editar código-fonte]O conjunto de linguagens reconhecidas por um autômato probabilístico são chamadas linguagens estocásticas. Elas incluem as linguagens regulares como um subconjunto.
Seja o conjunto de estados de "aceitação" ou "finais" de um autômato. Por abuso de notação, pode ser também entendido para ser o vetor coluna que é o Conjunto de partes para ;isto é, que tem um 1 nos locais correspondentes aos elementos em , e um zero nos outros. Este vetor pode ser contraído com a probabilidade do estado interno, para formar um escalar. A linguagem reconhecida por um autômato específico é definida como
onde é o conjunto de todas cadeia no alfabeto (de modo que * é fecho de Kleene). A linguagem depende do valor do ponto de corte , normalmente usado para ser o intervalo .
Uma linguagem é chamada η-estocástica se e somente se existe algum AP que reconhece a linguagem, para um fixo . Uma linguagem é dita estocástica se e somente se existe algum de modo que é η-estocástica.
Um ponto de corte é dito para ser um ponto de corte isolado se e apenas se existe existe um tal que
para todo
Propriedades
[editar | editar código-fonte]Toda linguagem regular é estocástica, e mais fortemente, cada linguagem regular é η-estocástica. Uma conversão fraca é que toda linguagem 0-estocástica é regular; no entanto, a conversão geral não se aplica: existem linguagens estocásticas que não são regulares.
Toda linguagem η-estocástica é estocástica, para algum .
Toda linguagem estocástica é representável por um Autômato de Rabin.
Se é um caso de ponto de corte isolado, então é uma linguagem regular.
Linguagens p-ádicas
[editar | editar código-fonte]A linguagem p-ádica é um exemplo de um linguagem estocástica que não é regular, e também mostra que o número de linguagens estocásticas é incontável. A linguagem p-ádica é definida como um conjunto de cadeias com símbolos de modo que
Ou seja, uma linguagem p-ádica é apenas um conjunto de números reais, escrito na base de p, de modo que eles são superiores a . É simples mostrar que toda as linguagens p-ádicas são estocásticas. No entanto, uma linguagem p-ádica é regular se e somente se é racional. Em particular, isto implica que o número de linguagens estocásticas é incontável.
Generalizações
[editar | editar código-fonte]O autômato probabilístico tem uma interpretação geométrica: o vetor de estados pode ser considerado como sendo um que vive na face da norma simplex (topologia), opostamente ao lado ortogonal. As matrizes de transição formam um monoide, agindo nesse ponto. Isto pode ser generalizado por ter o ponto a partir de algum espaço topológico genérico, enquanto matrizes de transição são escolhidas a partir de um conjunto de operadores que atuam sobre o espaço topológico, formando assim um semi-autômato. Quando o ponto de corte é adequadamente generalizado, existe um autômato quântico.
Um exemplo de tal generalização é o autômato quântico; aqui, o estado do autômato é representado por um ponto em um espaço projetivo complexo, enquanto que as matrizes de transição são um conjunto fixo escolhido a partir do grupo unitário. O ponto de corte é entendido como um limite para o valor máximo de um autômato quântico.
Referências
[editar | editar código-fonte]- ↑ M. O Rabin,"Probabilistic Automata", Information and Control 6 (1963) pp. 230–245
- Arto Salomaa, Theory of Automata (1969) Pergamon Press, Oxford (Ver capítulo 2).