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

linguagens formais, gramáticas, teoria de autômatos



1
Funções Racionais e CFL
No meu trabalho surgiu o problema da classificação CFL em imagens de funções racionais. Em outros termos, o que classe de linguagens formar línguas , para contexto fixo linguagem livre e transdutor de estados finitos determinística . Obtive alguns resultados fáceis, como a linguagem Dyck com duas chaves corresponde à …

1
Autômatos determinísticos bidirecionais de múltiplos cabeçotes ou logspace TM com contador
Isso é conhecido sobre linguagens reconhecidas pelo autômato determinístico bidirecional bidirecional ou pelo logspace TM com contador (modelo equivalente)? Esta classe chamada Aux2DC no meu conselheiro papel . Ou sobre essa classe não determinística? Eu obtive que a classe de idiomas reconhecidos por esses maschines não determinísticos inclui NL e …


1
Propriedades de fechamento não CFL
Um aluno me perguntou o seguinte e não conseguiu encontrar uma resposta completa: Existem propriedades de fechamento para a classe de idiomas que não são livres de contexto? É bastante fácil encontrar exemplos que mostram que ele não está fechado sob interseção e iteração (operador estrela Kleene), mas e a …


1
As expressões regulares que contêm quantificadores não-reativos (relutantes) podem ser reescritas para não usá-las?
Considere uma linguagem regex com o quantificador ganancioso , o quantificador não-viciado, alternância ordenada e classes de caracteres. (Essa é essencialmente uma sub-linguagem do PCRE, sem referências anteriores, afirmações gerais ou alguns dos outros bits mais sofisticados.)∗ ?∗∗*∗?∗?{*}? Uma correspondência para um regex em uma sequência é um intervalo semiaberto …


1
Ferramenta para converter PDAs em CFGs
Sabemos que todos os autômatos push-down são representáveis ​​usando gramáticas sem contexto. Além disso, existe um algoritmo para construir um CFG a partir de qualquer PDA (por exemplo, a prova de Sipser na introdução à teoria da computação). Existem ferramentas que fazem essa tradução? Ou seja, eu posso colocar um …

1
Localizando rapidamente não-terminais de produção de cadeia vazia em um CFG
Para uma dada linguagem livre de contexto G, chamamos um não-terminal anulável se , ou seja, podemos derivar a string vazia de depois de aplicar um número finito de produções.UMAEuUMAEuA_i UMAEu→∗ϵUMAEu→∗ϵA_i \rightarrow^* \epsilonUMAEuUMAEuA_i Existe um algoritmo simples para determinar quais não-terminais de uma gramática são anuláveis, como pode ser encontrado …
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.