linguagens formais, gramáticas, teoria de autômatos
Estive revisando a Teoria da Computação por diversão e essa pergunta me incomoda há um tempo (engraçado nunca pensei nisso quando aprendi a Teoria dos Autômatos na minha graduação). Então, "por que" exatamente estudamos autômatos finitos determinísticos e não determinísticos (DFA / NFAs)? Então,...
A hierarquia de Chomsky (–Schützenberger) é usada em livros didáticos de ciência da computação, mas obviamente cobre apenas uma fração muito pequena de linguagens formais (REG, CFL, CSL, RE) em comparação com o Diagrama de Zoológico de Complexidade completo . A hierarquia tem mais algum papel na...
Estou pensando no seguinte problema: Quero encontrar uma expressão regular que corresponda a um conjunto específico de cadeias de caracteres (por exemplo, endereços de email válidos) e não a outros (endereços de email inválidos). Suponha que por expressão regular queremos dizer alguma máquina de...
Computadores reais têm memória limitada e apenas um número finito de estados. Portanto, eles são essencialmente autômatos finitos. Por que os cientistas teóricos da computação usam as máquinas de Turing (e outros modelos equivalentes) para estudar computadores? Qual é o sentido de estudar esses...
Sempre existe uma maneira de aplicação em tópicos relacionados à ciência da computação teórica. Mas livros didáticos e cursos de graduação geralmente não explicam a razão pela qual a teoria dos autômatos é um tópico importante e se ainda tem aplicações na prática. Portanto, os estudantes de...
Pergunte até a alguém com experiência em ciência da computação o que é uma expressão regular e é provável que a resposta ultrapasse a restrição de estar ao alcance de um autômato de estado finito. Por exemplo, a "expressão regular" /^1?$|^(11+?)\1+$/ criado pela notável personalidade do Perl,...
Preciso de um livro de teoria de autômatos finito com muitos exemplos que eu possa usar para auto-estudo e preparação para
No prefácio de seus livros muito influentes Automata, Languages and Machines (Volumes A, B), Samuel Eilenberg prometeu tentativamente os Volumes C e D lidando com "uma hierarquia (chamada hierarquia racional) dos fenômenos não racionais ... usando relações racionais como uma ferramenta para...
É o idioma { } ou não livre de contexto?aibjck | i≠j,i≠k,j≠kaibjck | i≠j,i≠k,j≠ka^{i}b^{j}c^{k} ~|~ i \neq j, i \neq k, j \neq k Percebi que encontrei quase todas as variantes dessa questão com diferentes condições sobre a relação entre i, j e k, mas não essa. Meu palpite é que não é livre de...
É sabido que uma expressão regular pode ser reconhecida por um autômato finito não determinístico de tamanho proporcional à expressão regular ou por uma FA determinística que é potencialmente exponencialmente maior. Além disso, dada uma string e uma expressão regular , o NFA pode testar a...
Corrija um número inteiro nnn e alfabeto Σ = { 0 , 1 }Σ={0,1}\Sigma=\{0,1\} . Defina D FA ( n )DFA(n)DFA(n) como a coleção de todos os autômatos de estados finitos em nnn estados com o estado inicial 1. Estamos considerando todos os DFAs (não apenas os conectados, mínimos ou não degenerados);...
Como projeto paralelo, estou escrevendo uma linguagem usando Python. Comecei usando um clone flex / bison chamado Ply, mas estou enfrentando os limites no poder do que posso expressar com esse estilo de gramática, e não estou interessado em invadir minha linguagem por causa de uma incompatibilidade...
Eu queria saber se existe um algoritmo `` melhor '' (explicarei em que sentido) iniciar a partir de um DFA e construir uma expressão regular tal que , do que o livro de Hopcroft e Ullman (1979). Lá, os conjuntos são usados para representar conjuntos de seqüências de caracteres que levam o DFA do...
Considere um autômato finito não determinístico A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) e uma função f(n)f(n)f(n) . Adicionalmente, definimos Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Agora vamos analisar a seguinte declaração: Se...
Definimos uma linguagem de árvore regular como no livro TATA : É o conjunto de árvores aceito por um autômato finito de árvore não determinístico (Capítulo 1) ou, equivalentemente, o conjunto de árvores geradas por uma gramática regular de árvores (Capítulo 2). Ambos os formalismos têm grandes...
Dado um idioma comum (NFA, DFA, gramática ou regex), como pode ser contado o número de palavras aceitantes em um determinado idioma? Tanto "com exatamente n letras" quanto "com no máximo n letras" são de interesse. Margareta Ackerman tem dois trabalhos sobre o assunto relacionado de enumerar...
Em muitos trabalhos que envolvem gramáticas livres de contexto (CFGs), os exemplos de tais gramáticas apresentadas frequentemente admitem caracterizações fáceis da linguagem que geram. Por exemplo: S→ a a SbS→umaumaSbS \to a a S b S→S→S \to gera ,{ a2 ibEu| i≥0}{uma2EubEu|Eu≥0 0}\{ a^{2i}...
1) Qual é a relação entre tipagem estática e gramáticas formais? 2) Em particular, seria possível para um autômato limitado linear verificar se, digamos, um programa C ++ ou SML foi bem digitado? Um autômato de pilha aninhado? 3) Existe uma maneira natural de expressar regras de digitação...
Recentemente, eu estava lendo o analisador Earley e acho que é um dos algoritmos mais elegantes que já vi até hoje. No entanto, o algoritmo em seu sentido tradicional é um reconhecedor e não um analisador, o que significa que ele pode detectar se uma sequência corresponde a um CFG específico, mas...
Para qualquer idioma sobre , defina Em palavras, é composto por todos os para o qual existe uma de igual comprimento tal que .LLLΣ∗Σ∗\Sigma^*L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L1/2={x∈Σ∗:xy∈L,y∈Σ|x|}.L_{1/2} = \{x \in \Sigma^* : xy\in L, y\in\Sigma^{|x|} \}.L1/2L1/2L_{1/2}xxxyyyxy∈Lxy∈Lxy\in L Um exercício...