Perguntas com a marcação «fl.formal-languages»

É possível construir um algoritmo que tenha como entrada um autômato de empilhamento juntamente com a promessa de que a linguagem aceita por esse autômato L ( M ) é uma linguagem determinística livre de contexto e gera um autômato de empilhamento determinístico N que aceita precisamente a linguagem aceita …

11 reference-request  computability  fl.formal-languages  automata-theory 

Barry Jay, em seu livro, faz algumas afirmações ousadas - basicamente dizendo que, no centro de um programa, tudo é atômico ou composto. Então, as coisas podem ser facilmente iteradas, filtradas, atualizadas, apenas navegando nesse relacionamento de composição. Essa é uma nova fronteira em Ciência da Computação para linguagens de …

11 fl.formal-languages 

Onde posso encontrar uma introdução aos autômatos probabilísticos e o que eles reconhecem (certas funções de palavras a )? Existe um termo padrão para essas funções que são reconhecidas por autômatos probabilísticos, análogos a "linguagens regulares" para o que os autômatos finitos determinísticos (DFAs) reconhecem?[ 0 , 1 ][0,1][0,1] Estou …

10 reference-request  fl.formal-languages  probabilistic-automata 

Deixe um número ser dado. Considere o seguinte idioma L n = {nnn .eun= {w w|w ∈ { 0 , 1 }n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Em palavras, é o conjunto de cadeias de cópia de comprimento 2 n .eunLnL_n2 n2n2n Considere …

10 fl.formal-languages  automata-theory  grammars  context-free 

Há um problema em aberto em idiomas formais conhecido como Problema de Separação; que é brevemente indicado como duas seqüências distintas de comprimento , qual o tamanho de um DFA necessário para "separá-las", o que significa aceitar uma sequência, mas rejeitar a outra.nnn Aqui estão alguns artigos relevantes 1 , …

10 fl.formal-languages  automata-theory 

Qual é a abordagem padrão para minimizar o Büchi-Automata (ou também o Müller-Automata)? Transferir a técnica usual de palavras finitas, ou seja, definir dois estados como iguais se as palavras "acabando" dos estados aceitos forem iguais, não funcionará. Por exemplo, considere o Büchi-Automoton aceitando todas as palavras com um número …

10 fl.formal-languages  automata-theory 

Esta pergunta é sobre se existem tarpits reversíveis conhecidos de Turing, onde "reversível" significa no sentido de Axelsen e Glück , e "tarpit" é um conceito muito mais informal (e pode não ser uma escolha muito boa de palavra), mas farei o possível para explicar o que quero dizer com …

10 fl.formal-languages  computability  machine-models 

No capítulo 13 "Objetos atômicos" do livro "Algoritmos distribuídos" de Nancy Lynch, a linearizabilidade (também conhecida como atomicidade) provou ser uma propriedade de segurança. Ou seja, sua propriedade de rastreio correspondente é não vazia, prefixada e fechada por limite , conforme definido na Seção 8.5.3. Informalmente, uma propriedade de segurança …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency 

Um autômato determinístico é chamado -local para se para cada o conjunto contém no máximo um elemento. Intuitivamente, isso significa que se uma palavra de comprimento leva a um estado, então esse estado é único ou dito diferentemente de uma palavra arbitrária de comprimento os últimos símbolos determinam o estado …

10 fl.formal-languages  automata-theory  synchronization 

Considere uma linguagem não vazia de cadeias binárias de comprimento . Posso descrever com um circuito booleano com entradas e uma saída tal que seja verdadeira se : isso é bem conhecido.n L C n C ( w ) w ∈ LLLLnnnLLLCCCnnnC(w)C(w)C(w)w∈Lw∈Lw \in L No entanto, quero representar com um …

10 fl.formal-languages  circuit-complexity 

Seja uma linguagem livre de contexto. Definir p p c ( G ) ser o encerramento pré e pós-fixa de L , por outras palavras, p p c ( G ) contém todos G 's prefixos e sufixos, e, portanto, G si. Minha pergunta: se L é livre de contexto …

10 fl.formal-languages  automata-theory  grammars  context-free-languages 

Estou tentando elaborar uma taxonomia de algoritmos para transformar expressões regulares em autômatos, a fim de executar alguns testes empíricos de suas propriedades de complexidade em domínios específicos. Estou ciente de vários nomes 'maiores', por exemplo, Thompson "Algoritmo de pesquisa de expressão regular", Thompson, 1968 Glushkov "Um novo algoritmo quadrático …

10 automata-theory  fl.formal-languages  regular-expressions 

Olá pessoal, Atualmente, estou tentando encontrar um tópico sólido de tese de mestrado referente a algum ramo da teoria dos autômatos ou relacionado a linguagens formais. Estou tentando gerar boas idéias para o que seria um tópico aceitável, algo ambicioso, mas algo factível ao mesmo tempo. Quaisquer sugestões seriam muito …

10 ds.algorithms  automata-theory  fl.formal-languages  soft-question 

Linguagens livres de contexto determinísticas (DCFL) e linguagens visivelmente pushdown (VPL) são conjuntos de linguagens formais entre linguagens livres de contexto (CFL) e linguagens regulares (REG). Existe uma notação legível que pode ser expressa em ASCII simples, como Backus-Naur-Form for CFL e expressões regulares para REG?

10 fl.formal-languages 

Um DFA ou NFA lê uma sequência de entrada com uma única cabeça, movendo-se da esquerda para a direita. Parece natural pensar em máquinas de estado finito que possuem várias cabeças , cada uma das quais se move pela entrada da esquerda para a direita, mas não necessariamente no mesmo …

10 fl.formal-languages  automata-theory  regular-language  nfa