Perguntas sobre as linguagens formais que podem ser descritas por expressões regulares (no sentido de Kleene) ou, equivalentemente, as linguagens que podem ser aceitas por autômatos finitos.
No prefácio de seus livros muito influentes Automata, Languages and Machines (Volumes A, B), Samuel Eilenberg prometeu tentativamente os Volumes C e D lidando com "uma hierarquia (chamada hierarquia racional) dos fenômenos não racionais ... usando relações racionais como uma ferramenta para...
Por que os idiomas regulares (e a partir dessas expressões regulares) são chamados de "regulares"? Há muita regularidade também em idiomas sem contexto, outros tipos de idiomas. Suponho que, no começo, o adjetivo "regular" tenha sido usado para diferenciar esse tipo de idioma de outros idiomas...
Definimos uma linguagem de árvore regular como no livro TATA : É o conjunto de árvores aceito por um autômato finito de árvore não determinístico (Capítulo 1) ou, equivalentemente, o conjunto de árvores geradas por uma gramática regular de árvores (Capítulo 2). Ambos os formalismos têm grandes...
Dado um idioma comum (NFA, DFA, gramática ou regex), como pode ser contado o número de palavras aceitantes em um determinado idioma? Tanto "com exatamente n letras" quanto "com no máximo n letras" são de interesse. Margareta Ackerman tem dois trabalhos sobre o assunto relacionado de enumerar...
Seja dois idiomas regulares fornecidos pelos NFAs M_1 como entrada.M 1 , M 2eu1, L2L1,L2L_1,L_2M1, M2M1,M2M_1,M_2 Suponha que gostaríamos de verificar se . Isso pode ser feito claramente por um algoritmo quadrático que calcula o autômato do produto , , mas eu queria saber se algo mais eficiente é...
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...
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
Seja a classe de todos os idiomas regulares.REGREG\mathsf{REG} É conhecido e \ mathsf {REG} \ não \ subconjunto \ mathsf {AC} ^ 0 . Mas existe alguma caracterização para idiomas em \ mathsf {AC} ^ 0 \ cap \ mathsf {REG} ?AC0⊄REGAC0⊄REG\mathsf{AC}^0 \not\subset
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
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...
É 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...
Considere o idioma L k - d i s t i n c tLk−distinctL_{k-distinct} constituído por todas as cadeias de letras kkk sobre Σ deΣ\Sigma modo que não haja duas letras iguais: L k - d i s t i n c t : = { w = σ 1 σ 2 . . . σ k | ∀ i ∈ [ k ] : σ i ∈ Σ e ∀ j ≠ i : σ j ≠ σ i...
Contexto: relações entre lógica e autômatos O Teorema de Büchi afirma que a lógica monádica de segunda ordem sobre seqüências de caracteres (MSO) captura a classe de linguagens regulares. A prova realmente mostra que o MSO existencial ( ou EMSO ) sobre cadeias de caracteres é suficiente para...
Na teoria dos autômatos (autômatos finitos, autômatos de empilhamento, ...) e na complexidade, existe a noção de "ambiguidade". Um autômato é ambíguo se houver uma palavra com pelo menos duas execuções de aceitação distintas. Uma máquina é ambígua se, para cada palavra aceita pela máquina, houver...
Dizemos que NFA é constantemente ambíguo se existir k ∈ N, de modo que qualquer palavra w ∈ Σ ∗ seja aceita por 0 ou (exatamente) k caminhos.MMMk∈Nk∈Nk\in \mathbb{N}w∈Σ∗w∈Σ∗w\in \Sigma^*000kkk Se o autômato é constantemente ambíguo para k = 1 , então M é chamado FA não ambígua (UFA).MMMk =...
Os autômatos finitos inequívocos (UFA) são tipos especiais de autômatos finitos não determinísticos (NFA). Um NFA é chamado inequívoco se cada palavra tiver no máximo um caminho de aceitação.w ∈ Σ∗W∈Σ∗w\in \Sigma^* Isto significa .D FA ⊂ UFA ⊂ NFUMADFUMA⊂vocêFUMA⊂NFUMADFA\subset UFA\subset...
Seria bom coletar uma lista de condições que impliquem que uma linguagem L sem contexto seja regular, ou seja, condições da forma: "se um CFG / PDA determinado tiver a propriedade P, suas linguagens serão regulares" A propriedade P não precisa caracterizar os CFGs que geram idiomas regulares. Além...
Estou lendo " Concatenação de idiomas regulares e complexidade descritiva ", de Galina Jiraskova, 2009, sobre a complexidade do estado resultante da concatenação de dois idiomas regulares (de Galina Jiraskova), mas não consigo entender quais seriam as implicações práticas da complexidade do estado....
De acordo com o Complexity Zoo , e sabemos que não pode contar, portanto . No entanto, ele não diz se \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} ou não. Como não conhecemos \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0} , também não sabemos \ mathsf {Reg} \ not \ subseteq \ mathsf {TC ^ 0}...