Questions marquées «automata»

11
1 / r force d'attraction par automate cellulaire

Existe-t-il un automate cellulaire (en 2D) qui simule une force entre particules?1 / r1/r1/r Plus précisément, je voudrais savoir s'il est possible, avec des règles de mise à jour strictement locales, que deux objets (définis dans le modèle) s'attirent avec une force , où r est la distance séparant...

11
Impossible de convertir NFA en DFA

J'ai un problème simple de créer un DFA qui accepte toutes les entrées commençant par des lettres doubles (aa, bb) ou se terminant par des lettres doubles (aa, bb), étant donné que est l'ensemble alphabétique du langue donnée.Σ = { a , b }Σ={une,b}\Sigma =\{a, b\} J'ai essayé de le résoudre de...

11
Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then...

11
Star free language vs regular language

Je me demandais, car a∗a∗a^* lui - même est un langage sans étoile, est - il une langue régulière qui n'est pas un langage sans étoile? Pouvez-vous donner un exemple? (de wikipdia ) Lawson définit les langues sans étoiles comme: Une langue régulière est dite sans étoile si elle peut être décrite...

11
Une FSA peut-elle compter?

Cela peut être une question stupide. Il semble clair qu'une FSA, étant finie, ne peut compter que le nombre de symboles dans sa chaîne d'entrée jusqu'à un nombre limité par le nombre de ses états. Mais supposons maintenant que nous équipons le FSA de capacités de sortie (par exemple, d'impression)....

10
Mathématiques pour TCS major

Je recherche une majeure en informatique théorique; en particulier, je m'intéresse à la théorie de la complexité et à la théorie des automates probabilistes. Comme je suis diplômé en un an, quels cours avancés en mathématiques (comme la théorie de Galois ou l'analyse harmonique, par exemple)...