Perguntas com a marcação «decidability»

Estou me preparando para uma palestra voltada para alunos de graduação em matemática e, como parte disso, estou pensando em discutir o conceito de decidibilidade. Quero dar um exemplo de um problema que atualmente não sabemos ser decidível ou indecidível. Existem muitos desses problemas, mas nenhum parece se destacar como …

92 computability  decidability 

Se alguém restringir as máquinas de Turing a uma fita finita (ou seja, para usar o espaço limitado ), o problema de parada será decidido, essencialmente porque após várias etapas (que podem ser calculadas a partir do número de estados , e , e o tamanho do alfabeto), uma configuração …

33 turing-machines  decidability 

Sei que é indecidível determinar se um conjunto de peças pode ladrilhar o avião, resultado de Berger usar as peças Wang . Minha pergunta é se é também conhecido como indecidível determinar se um único bloco pode ladrilhar o avião, um bloco monohédico . Se isso não for resolvido, eu …

24 reference-request  co.combinatorics  decidability  undecidability 

É sabido que o problema da equivalência é indecidível para linguagens gerais livres de contexto. No entanto, todas as provas desse fato que tenho conhecimento parecem envolver algumas gramáticas ambíguas e livres de contexto. Por esse motivo, gostaria de perguntar se é sabido se o problema permanece indecidível enquanto se …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Estou interessado no seguinte problema: dadas as matrizes inteiras decidem se todo produto infinito dessas matrizes eventualmente é igual à matriz zero.UMA1, A2, … , AkA1,A2,…,AkA_1,A_2, \ldots, A_k Isso significa exatamente o que você pensa: diremos que o conjunto de matrizes tem a propriedade de que todos os seus produtos …

19 linear-algebra  decidability 

É um resultado bem conhecido que a pergunta Uma gramática sem contexto gera uma linguagem comum? é indecidível. No entanto, torna-se decidível em um alfabeto unário, simplesmente porque, neste caso, as classes de linguagens livres de contexto e regulares coincidem. Minha pergunta é saber o que acontece com linguagens sensíveis …

18 fl.formal-languages  decidability 

Estou tentando resolver um problema específico e pensei que poderia resolvê-lo usando a teoria dos autômatos. Gostaria de saber, que modelos de autômatos têm contenção decidível em tempo polinomial? ou seja, se você tiver máquinas poderá testar se L ( M 1 ) ⊆ L ( M 2 ) com …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Eu sei que é impossível decidir equivalência para o cálculo lambda sem tipo. Citando Barendregt, HP O cálculo Lambda: sua sintaxe e semântica. Holanda do Norte, Amsterdã (1984). :ββ\beta Se A e B são disjuntos, conjuntos não vazios de termos lambda que são fechados em igualdade, então A e B …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

Qual é o modelo computacional mais simples para o qual o problema do vazio é indecidível? O problema de vazio para um modelo computacional (por exemplo, autômato de estado finito, autômato de empilhamento alternado, autômato quântico de erro limitado com um contador, LBA determinístico, etc.) é determinar se, para uma …

12 computability  decidability  undecidability  unary-languages 

Quais são os limites conhecidos da decidibilidade da comparação da taxa de crescimento de funções de ? Estou aqui pensando na decidibilidade de perguntas como "Is x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?" ou "é 2 lg * x ∈ O ( lg …

12 decidability  asymptotics 

Um sistema de adição de vetores (VAS) é um conjunto finito de ações . é o conjunto de marcações . Uma execução é uma palavra não vazia de marcações r . Se essa palavra existe, dizemos que é acessível a partir de .A⊂ZdA⊂ZdA \subset \mathbb{Z}^dm 0 m 1 … m …

11 fl.formal-languages  decidability 

Resposta: desconhecido Muito obrigado a todos que ajudaram a refinar esta questão e as definições a ela associadas. As definições deste wiki forneceram o ponto de partida para o wiki mais recente do TCS " P contém idiomas cuja existência é independente do PA ou ZFC? (Wiki da comunidade TCS) …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

O teorema de Robertson-Seymour diz que qualquer de gráficos de família menos fechada pode ser caracterizado por finitos muitos menores proibidos.GG\mathcal G Existe um algoritmo que para uma entrada gera os menores proibidos ou isso é indecidível?GG\mathcal G Obviamente, a resposta pode depender de como é descrito na entrada. Por …

9 graph-theory  decidability  graph-minor 

Considere uma gramática arbitrária e livre de contexto sobre o alfabeto . Nas produções desta gramática, adicione duas produções fixas sem contexto : e . Chame a gramática resultante de " aumentada com as produções ".{ 0 , 1 , ¯ 0 , ¯ 1 } P ¯ 0 0 …

9 context-free  decidability 

Existem problemas que são decidíveis, outros são indecidíveis, há semidecidibilidade etc. Nesse caso, pergunto-me se um problema pode ser meta-indecidível. Isso significa (pelo menos na minha cabeça) que não podemos dizer se é decidível ou não. Talvez seja sabido que a decidibilidade é indecidível (tudo é meta-indecidível) e não existe …

9 computability  decidability  undecidability