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

Perguntas sobre propriedades da classe de idiomas regulares e idiomas individuais.

2
Número de palavras de um determinado comprimento em um idioma regular
Existe uma caracterização algébrica do número de palavras de um determinado comprimento em um idioma regular? A Wikipedia declara um resultado um tanto impreciso: Para qualquer linguagem regular eueuL , existem constantes λ1 1,... ,λkλ1 1,...,λk\lambda_1,\,\ldots,\,\lambda_k e polinómiosp1 1( X ) ,... ,pk( X )p1 1(x),...,pk(x)p_1(x),\,\ldots,\,p_k(x) tal que para cadannn …
3
Linguagem infinita vs. linguagem finita
Não estou claro sobre o uso das frases "infinito" ou "finito" na teoria dos computadores. Penso que a raiz do problema é que uma linguagem como L={ab}∗L={ab}∗L=\{ab\}^* é infinita no sentido de poder gerar um número infinito (mas contável) de seqüências de caracteres. No entanto, ainda pode ser reconhecido por …
1
Encontrar fatoração máxima de idiomas regulares
Vamos linguagem L⊆Σ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* ser regular. Uma fatoração de LL\mathcal{L} é um par máximo (X,Y)(X,Y)(X,Y) de conjuntos de palavras com X⋅Y⊆LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X≠∅≠YX≠∅≠YX \neq \emptyset \neq Y , onde X⋅Y={xyX⋅Y={xyX \cdot Y = \{xy | x∈X,y∈Y}x∈X,y∈Y}x \in X, y \in Y\} . (X,Y)(X,Y)(X,Y)(X′,Y′)≠(X,Y)(X′,Y′)≠(X,Y)(X',Y') \neq (X,Y)X′⋅ Y′⊆ …
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 …
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.