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

Perguntas relacionadas a linguagens formais, gramáticas e teoria de autômatos

2
Como a palavra “produção” acabou sendo sinônimo da palavra “regra” no contexto da Ciência da Computação?
Estou estudando linguagens formais e sistemas de bases de produção (sistemas de bases de regras) e estou um pouco confuso sobre por que essas duas palavras "produção" e "regra" significam a mesma coisa em tantos contextos na Ciência da Computação. No idioma inglês, eles não parecem ter o mesmo significado. …
1
Complexidade computacional vs. hierarquia de Chomsky
Estou pensando sobre a relação entre complexidade computacional e a hierarquia de Chomsky, em geral. Em particular, se eu souber que algum problema é NP-completo, segue-se que o idioma desse problema não é livre de contexto? Por exemplo, o problema do clique é NP-completo. Segue-se que a linguagem correspondente aos …
2
É o complemento de {ww | …} Sem contexto?
Defina o idioma como . Em outras palavras, contém as palavras que não podem ser expressas como algumas palavras repetidas duas vezes. é livre de contexto ou não?LLLL={a,b}∗−{ww∣w∈{a,b}∗}L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\}LLLLLL Tentei cruzar com , mas ainda não posso provar nada. Eu também olhei …
1
o que é semântica?
Existem muitos idiomas populares. Porém, os cientistas da computação nos dizem que, para entender o comportamento dos programas nessas línguas de maneira definitiva e inequívoca, argumentar sobre o comportamento do programa (por exemplo, provar sua identidade), precisamos traduzi-los para outra linguagem bem compreendida. Eles chamam essa linguagem de "semântica". Os …
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 …
1
O POSIX BRE pode expressar todos os idiomas comuns?
Parece que "Expressões regulares básicas", conforme definidas no POSIX.1-2008 , não suportam alternância a|b(embora algumas implementações grep reconheçam a versão de escape \|). Como as linguagens regulares são fechadas sob união por definição, isso significa que o POSIX BRE possui um poder menos expressivo do que um autômato finito? Ou …
4
Por que não há permutação nos Regexes? (Mesmo que os idiomas comuns pareçam fazer isso)
O problema Não há uma maneira fácil de obter uma permutação com um regex. Permutação: Obtendo uma palavra ("aabc") para outra ordem, sem alterar o número ou o tipo de letras.w=x1…xnw=x1…xnw=x_1…x_n Regex: expressão regular. Para verificação: "Permutações de regex sem repetição" A resposta cria código JavaScript em vez de regex, …
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.