Perguntas com a marcação «closure-properties»

Perguntas sobre operações em objetos de algum tipo que resultam em objetos do mesmo tipo.

2
As linguagens livres de contexto em fechadas sob complemento?
As linguagens sem contexto não são fechadas sob complemento, sabemos disso. Tanto quanto eu entendo, linguagens sem contexto que são um subconjunto de para algumas letras estão fechadas no complemento (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b Aqui está o meu argumento. Cada linguagem CF tem uma imagem Parikh semi-linear . Conjuntos semilineares são fechados sob …




2
Fechamento contra quociente certo com um idioma fixo
Eu realmente adoraria sua ajuda com o seguinte: Para qualquer fixo L2L2L_2 I precisa decidir se há fechamento nas seguintes operadores: Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . As opções relevantes são: Os idiomas regulares estão …


7
é
Se A2A2A^2 é regular, segue-se que AAA é regular? Minha tentativa de prova: Sim, por contradição, assuma que AAA não é regular. Em seguida, A2=A⋅AA2=A⋅AA^2 = A \cdot A . Desde concatenação de duas línguas não regular não é regular A2A2A^2 não pode ser regular. Isso contradiz nossa suposição. Então …






1
Construindo todas as linguagens sem contexto a partir de um conjunto de linguagens de base e propriedades de fechamento?
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 …



Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.