Para um alfabeto finito fixo , uma linguagem formal sobre é regular, se existe um autômato finito determinístico (DFA) sobre que aceita exatamente .ΣΣ\SigmaLeuLΣΣ\SigmaΣΣ\SigmaLeuL Estou interessado em idiomas "quase" regulares no sentido de que podem ser reconhecidos por famílias de tamanho de...
Alguns de vocês podem estar seguindo esta pergunta , que foi encerrada por não estar em nível de pesquisa. Então, estou extraindo a parte da pergunta que está no nível da pesquisa. Além das técnicas "mais simples", como reduzir a classificação ou um problema EXPTIME-complete, quais técnicas foram...
Ao mexer na análise de LR não-canônica, pensei em um método de análise (com tabelas de tamanho infinito, o que o torna um tanto impraticável ) capaz de analisar exatamente as gramáticas inequívocas no tempo , e me perguntei se é possível fazer melhor. :O ( n2)O(n2)O(n^2) Todas as gramáticas...
Além da complexidade (determinística) da comunicação de uma relação R , outra medida básica para a quantidade de comunicação necessária é o número da partição do protocolo p p ( R ) . A relação entre essas duas medidas é conhecida até um fator constante. A monografia de Kushilevitz e Nisan (1997)...
O lema de bombeamento para linguagens regulares pode ser provado considerando-se um autômato de estado finito que reconhece a linguagem estudada, escolhendo uma corda com um comprimento maior que o número de estados e aplicando o princípio do buraco de pombo. O lema de bombeamento para linguagens...
Percebi que as línguas regulares sobre o alfabeto podem ser pensadas naturalmente como um poset e, de fato, uma treliça. Além disso, a concatenação junto com o idioma vazio ϵ define uma estrutura monoidal estrita nessa categoria que é distributiva sobre junções (não tenho certeza sobre os...
Defina a seguinte classe de idiomas "circulares" sobre um alfabeto finito Sigma. Na verdade, o nome já existe para denotar uma coisa diferente que parece, usada no campo da computação de DNA. AFAICT, essa é uma classe de idiomas diferente. Uma linguagem L é circular se, para todas as palavras www...
por o número de palavras de comprimento em um idioma (possivelmente ambíguo) sem contexto.Wnwnw_nnnn O que se sabe sobre ?WnWnw_n Tenho certeza de que isso foi estudado muito, mas não consegui encontrar
Dadas as expressões regulares , existem limites não triviais no tamanho da menor gramática livre de contexto para ?R 1 ∩ ⋯ ∩ R nR1, … , RnR1,…,RnR_1, \dots, R_nR1∩ ⋯ ∩ RnR1∩⋯∩RnR_1 \cap \cdots \cap
É 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...
Recentemente, eu estava tendo uma discussão sobre as Máquinas de Turing quando me perguntaram: "A Máquina de Turing é derivada de autômatos, ou é o contrário"? Eu não sabia a resposta, é claro, mas estou curioso para descobrir. A máquina de Turing é basicamente uma versão um pouco mais sofisticada...
A questão é simples e direta: para um fixo nnn, quantos idiomas (diferentes) são aceitos por um DFA de tamanho nnn (isto é, nnn estados)? Vou declarar formalmente isso: Defina um DFA como (Q,Σ,δ,q0,F)(Q,Σ,δ,q0,F)(Q,\Sigma,\delta,q_0,F) , onde tudo é como de costume e
Um DFA possui uma palavra de sincronização se houver uma sequência que envie qualquer estado do DFA para um único estado. Em 'The Cerny Conjecture for Aperiodic Automata ”de AN Trahtman (Matemática Discreta e Ciência da Computação Teórica, vol. 9: 2, 2007, pp.3-10), ele escreveu: Cerny...
As implementações mais modernas de expressões regulares, como as em perl ou .NET, vão além da definição clássica de ciência da computação dos REGEXes com recursos como lookahead e lookbehind. Esses recursos permitem analisar instruções que não podem ser descritas com um autômato finito e não...
Eu queria saber se a especificação JSON definiu uma linguagem regular. Parece bastante simples, mas não tenho certeza de como provar isso sozinho. A razão pela qual pergunto é porque estava pensando se alguém poderia usar expressões regulares para analisar efetivamente o JSON. Alguém com...
Pergunta Principal / Geral Seja LLL uma linguagem. Defina os idiomas LiLiL_i com L0=LL0=LL_0 = L e Li={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\} para i≥1i≥1i \geq 1 . Considere L = ⋃ L i . Então, nós repetidamente "incorporar" L para dentro de si para se obter...
É 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...
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 eficiência.M1,...
O método de derivadas de Brzozowski é uma técnica muito bonita para construir autômatos determinísticos a partir de expressões regulares de uma maneira bastante algébrica. Eu elaborei algumas generalizações engraçadas dessa técnica para lidar com algumas classes maiores de gramática, mas os...
É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...