Resultados da pesquisa a pedido "automata"
Qual será o DFA para a expressão regular 0 (0 + 1) * 0 + 1 (0 + 1) * 1?
Este é o DFA que eu desenheiEstá correto?Estou confuso porque
Projete o DFA que aceita cadeias binárias divisíveis por um número 'n'
Preciso aprender como projetar um DFA de modo que, dado qualquer número 'n', ele aceite cadeias binárias {0, 1} cujo número equivalente decimal é divisível por 'n'. Haverá DFAs diferentes para diferentes 'n', mas alguém pode fornecer ...
Como comparar dois LTLs?
Como posso comparar dois LTLs para ver se um pode se contradizer? Eu pergunto isso porque tenho uma máquina de estado hierárquica e LTLs que descrevem o comportamento em cada estado. Preciso saber se um LTL local pode contradizer um LTL global. ...
Implementação de NFA / DFA em C #
Alguém conhece alguma boa implementação de NFA e DFA em C #, possivelmente implementando também conversões entre os dois? O que eu gostaria seria de poder construir um NFA e convertê-lo automaticamente em um DFA, mas sem precisar escrever meu ...
É possível que um computador “aprenda” uma expressão regular com exemplos fornecidos pelo usuári
possível que um computador "aprenda" uma expressão regular por meio de exemplos fornecidos pelo usuári Esclarecer Eu façonã quer aprender expressões regulareQuero criar um programa que "aprenda" uma expressão regular a partir de exemplos ...
orrigindo entidades XML sem escape em Java com Rege
Tenho alguns XML mal formatados que devo analisar. Não é possível corrigir o problema a montante. O problema (atual) é que nem sempre os caracteres "e" comercial são escapados adequadamente, por isso preciso converter& para dentro& E ...
PDA para aceitar um idioma de strings contendo mais a's que b's
Produza um PDA para reconhecer o seguinte idioma: o idioma das strings que contêm mais a's que b's Estive lutando com essa questão há vários dias, parece que atingi um bloqueio mental completo. Alguém seria capaz de fornecer alguma orientação ou ...