Perguntas com a marcação «automata»

Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles foram capazes de mostrar que o conjunto de idiomas aceitos por …

15 formal-languages  automata  nondeterminism 

Eu normalmente uso o símbolo para string vazia (palavra vazia ou string nula). Mas eu sei que algumas pessoas usam λ em vez de ε .εε\varepsilonλλ\lambdaεε\varepsilon Eu acho que é derivado da palavra "Vazio". No entanto, não sei qual é a origem de λ .εε\varepsilonλλ\lambda Na teoria dos autômatos, há …

14 formal-languages  automata  reference-request  notation  history 

Percebo que os autômatos não determinísticos de empilhamento podem ser uma melhoria em relação aos determinísticos, pois eles podem "escolher" entre vários estados e existem algumas linguagens livres de contexto que não podem ser aceitas por um empilhamento determinístico. Ainda assim, não entendo exatamente como eles "escolhem". Para os palindormes, …

14 automata  pushdown-automata  nondeterminism 

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. …

13 formal-languages  terminology  automata  finite-automata  formal-grammars 

Amanhã é a minha apresentação e quero esclarecer meus conceitos ... Eu li no DFA: "Para cada estado, a transição em todos os símbolos possíveis (alfabeto) deve ser definida". Para cada estado, a transição de todos os símbolos possíveis é obrigatória no DFA? Se não, por favor, dê alguns exemplos?

13 automata  finite-automata  nondeterminism 

Descobri que, se não entendo a etimologia por trás de um termo cs / programação, isso geralmente significa que perdi ou entendi mal algum conceito subjacente importante. Não entendo por que a estrela Kleene também é chamada de encerramento Kleene. Está relacionado a fechamentos na programação, uma função com variáveis …

13 automata  regular-expressions 

Apropois à sugestão de Raphael sobre a interseção de dois NPDAs : Deixe e A 2 NPDA para linguagens sem contexto L 1 e L 2 , respectivamente. Supondo que sabemos que L = L 1 ∩ L 2 é livre de contexto, podemos (efetivamente) construir o NPDA A para …

13 computability  automata  pushdown-automata 

Eu li na Wikipedia e alguns outros textos que O problema de parada é [...] decidível para máquinas determinísticas de autômatos limitados lineares (LBAs) [e] com memória finita. Mas, anteriormente, está escrito que o problema de parada é um problema indecidível e, portanto, a TM não pode resolvê-lo! Como o …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Existe alguma maneira natural ou notável de relacionar ou vincular grupos de matemática e linguagens formais de CS ou algum outro conceito central de CS, por exemplo, máquinas de Turing? Estou à procura de referências / aplicações. No entanto, note que estou ciente do vínculo entre semigrupos e idiomas CS …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Sou programador com domínio de autômatos, mas não de lógica. Li nos jornais que os dois estão muito relacionados. Autômatos finitos determinísticos (DFA), autômatos em árvore e autômatos visivelmente pushdown estão todos relacionados à lógica monádica de segunda ordem (MSO). Embora eu entenda que os autômatos e as pessoas (nos …

13 automata  finite-automata  logic  coq  automated-theorem-proving 

Eu sou novo em autômatos e recebi uma breve introdução às expressões regulares apenas ontem. Eu li as várias regras para definir uma expressão regular. Mas não sou capaz de diferenciar expressões regulares e gramática de um idioma (não aprendi a gramática para expressões regulares). Entendo que a gramática nos …

12 automata  formal-grammars  regular-expressions 

O objetivo é criar o DFA a partir de uma expressão regular e o uso de "Exp regular> NFA> conversão do DFA" não é uma opção. Como alguém deveria fazer isso? Fiz essa pergunta ao nosso professor, mas ele me disse que podemos usar a intuição e se recusou a …

12 automata  finite-automata  regular-expressions  simulation 

Na foto abaixo, estou tentando descobrir o que exatamente esse NFA está aceitando. O que me confunde é o salto em .ϵϵ\epsilonq0q0q_0 Se um for inserido, o sistema passa para e (o estado de aceitação)?000q0q0q_0 q1q1q_1 Se um for inserido, o sistema passa para e ?111q1q1q_1q2q2q_2 O sistema passa para …

12 automata  finite-automata  nondeterminism 

Aqui está o problema: Prove que as Máquinas de Turing de fita única que não podem gravar na parte da fita que contém a sequência de entrada reconhecem apenas idiomas regulares. Minha idéia é provar que essa TM específica é equivalente a um DFA. O uso desta TM para simular …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Então, eu sei que testar se uma linguagem regular RRR é um subconjunto de linguagem regular SSS é decidível, já que pode converter-los tanto para DFAs, compute R∩S¯R∩S¯R \cap \bar{S} , e em seguida, teste se esta linguagem é vazia. No entanto, como isso requer conversão em DFAs, é possível …

12 algorithms  regular-languages  automata  np-complete  decision-problem