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

Linguagens sem contexto não são fechadas sob complementação. Nas palestras, recebemos o mesmo argumento aqui na Wikipedia : Para ambos A e B são livres de contexto, mas sua interseção A ∩ B não é. Como as linguagens sem contexto são fechadas sob uniões, elas também não podem ser fechadas …

11 formal-languages  context-free 

Existe um algoritmo / procedimento sistemático para testar se um idioma é regular? Em outras palavras, dado um idioma especificado em forma algébrica (pense em algo como ), teste se o idioma é regular ou não. Imagine que estamos escrevendo um serviço da Web para ajudar os alunos com todos …

11 algorithms  formal-languages  regular-languages  decision-problem 

Esta é uma pergunta do livro do Dragão (peço desculpas por erros de tradução, não tenho a versão em inglês): Que idioma é gerado por esta gramática? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Não sei o que devo fazer aqui. A definição no …

11 formal-languages  context-free  formal-grammars 

Fiquei me perguntando, vez que é um idioma sem estrelas, existe um idioma regular que não é um idioma sem estrelas? Você poderia dar um exemplo?a∗a∗a^* (de wikipdia ) Lawson define idiomas sem estrelas como: Diz-se que uma linguagem comum é livre de estrelas se puder ser descrita por uma …

11 formal-languages  regular-languages  automata 

O deslocamento cíclico (também chamado de rotação ou conjugação ) de uma linguagem é definido como . De acordo com a wikipedia (e aqui ), as linguagens sem contexto são fechadas nesta operação, com referências a artigos de Oshiba e Maslov. Existe uma prova fácil desse fato?L LL{ y x …

11 formal-languages  context-free  closure-properties 

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Eu tenho o seguinte idioma {0i1j2k∣0≤i≤j≤k}{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} Estou tentando determinar em qual classe de idioma Chomsky se encaixa. Eu posso ver como isso pode ser feito usando uma gramática sensível ao contexto, então eu sei que é pelo menos sensível …

11 formal-languages  context-free  formal-grammars  pumping-lemma 

Se bem entendi, a NFA tem o mesmo poder expressivo que as expressões regulares. Freqüentemente, é fácil ler expressões regulares equivalentes do NFA: você traduz ciclos para estrelas, junções como alternativas e assim por diante. Mas o que fazer neste caso: [ fonte ] Os ciclos sobrepostos dificultam a visualização …

11 algorithms  formal-languages  finite-automata  regular-expressions 

Sejam L1L1L_1 , L2L2L_2 , L3L3L_3 , ……\dots uma sequência infinita de linguagens livres de contexto, cada uma das quais é definida sobre um alfabeto comum . Seja a união infinita de L_1 , L_2 , L_3 , \ dots ; ou seja, L = L_1 \ xícara L_2 \ …

11 formal-languages  context-free  closure-properties 

É teoricamente possível especificar uma linguagem de programação para a qual não existe implementação? Uma linguagem de programação é uma maneira de definir funções. Uma implementação significa um método para executar um determinado programa nesse idioma em uma determinada entrada para a saída da função correspondente ao programa nessa entrada. …

11 formal-languages  computability  programming-languages 

Qual das seguintes afirmações está correta? existem condições suficientes e necessárias sobre a regularidade de uma língua, mas ainda não foram descobertas. Não há condição suficiente e necessária sobre a regularidade de um idioma. O lema de bombeamento é uma condição necessária para a não regularidade de um idioma. O …

11 formal-languages  regular-languages 

Eu preciso saber em que classe de CFL está fechada, ou seja, qual conjunto é o complemento de CFL. Eu sei que o CFL não está fechado no complemento e sei que P está fechado no complemento. Como CFL PI pode dizer que o complemento de CFL está incluído em …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Estou trabalhando com um exercício árduo em um livro didático e não consigo descobrir como proceder. Aqui está o problema. Suponha que tenhamos a linguagem que é algum número irracional. Como eu provaria que não é uma linguagem livre de contexto?L={aibj:i≤jγ,i≥0,j≥1}L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: i \leq j \gamma, i\geq 0, j\geq …

10 formal-languages  automata  context-free 

Uma maneira de observar expressões regulares é como uma prova construtiva do seguinte fato: é possível construir os idiomas regulares iniciando com um pequeno conjunto de idiomas e combinando-os por meio de um pequeno conjunto fixo de propriedades de fechamento. Especificamente, se começarmos com o idioma vazio, o idioma que …

10 formal-languages  context-free  closure-properties  regular-expressions 

Estou trabalhando com um algoritmo de correspondência de padrões que gera um autômato de estado finito acíclico que aceita uma sequência de texto especificada e todas as suas substrings. O algoritmo FSA está sendo executado em uma representação simbólica de um fluxo de música (por exemplo, dados MIDI). O fluxo …

10 formal-languages  reference-request  finite-automata