L'informatique

2

Quelles mathématiques peuvent être intéressantes pour ces domaines CS?

Pour mon diplôme CS, j'ai eu la plupart des connaissances mathématiques "standard": Calcul: nombres différentiels, intégraux, complexes Algèbre: à peu près les concepts jusqu'aux champs. Théorie des nombres: XGCD et autres éléments connexes, principalement pour la cryptographie. Algèbre linéaire: jusqu'à vecteurs propres / valeurs propres Statistiques: probabilités, tests Logique: propositionnelle, …

9 artificial-intelligence cryptography discrete-mathematics

3

Grammaire contextuelle pour le langage des mots concaténés avec eux-mêmes

Je recherche une grammaire contextuelle qui décrit le langage suivant: .L={ww∣w∈{a,b}∗,|w|≥1}L={ww∣w∈{a,b}∗,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} J'ai des problèmes avec le fait qu'aucune règle comme n'est autorisée et donc je ne peux placer aucun terminal indiquant le "milieu" du mot. Y a-t-il une astuce au …

9 formal-languages formal-grammars context-sensitive

1

Exemple d'une fausse proposition en supposant Type: Type

Dans la théorie des types, si l'on permet à Type d'être membre de lui-même, cela rend la théorie incohérente. Je le comprends par analogie avec le paradoxe de Russel dans Set Theory, mais je préférerais que cela se fasse dans Type Theory. Existe-t-il un court exemple de l'équivalent dans la …

9 type-theory

4

Qu'est-ce qu'un bon algorithme pour générer des DFA aléatoires?

Je génère des DFA aléatoires pour tester un algorithme de réduction DFA sur eux. L'algorithme que j'utilise actuellement est le suivant: pour chaque état , pour chaque symbole de l'alphabet c , ajoutez δ ( q , c ) à un état aléatoire. Chaque état a la même probabilité de …

9 algorithms finite-automata randomness pseudo-random-generators random-graphs

2

Que se passait-il avant l'apprentissage des SAA

J'étudie l'apprentissage PAC (théorie de l'apprentissage informatique) en tant que débutant sans aucune connaissance préalable de l'apprentissage automatique / IA. J'étudie le modèle principalement d'un point de vue historique. Pour cela, les choses les plus importantes sont bien sûr les résultats basés sur le modèle. Il y a suffisamment d'articles …

9 machine-learning

3

Que sont les polygones dégénérés?

Que sont les polygones dégénérés? Comment vérifier si une paire de polygones donnée est dégénérée ou non?

9 algorithms computational-geometry

1

Quelle mesure de trouble utiliser lors de l'analyse de Quicksort

J'essaie de comprendre pourquoi le tri rapide utilisant la partition Lomuto et un pivot fixe fonctionne de manière irrégulière, mais globalement médiocre, sur des entrées générées de manière aléatoire. Je pense que même si les entrées sont générées de manière aléatoire, il peut y avoir beaucoup d'ordre dans les séquences, …

9 algorithms sorting

3

Découvrez à qui revient l'achat des croissants

Une équipe a décidé que chaque matin, quelqu'un devrait apporter des croissants pour tout le monde. Ce ne devrait pas être la même personne à chaque fois, donc il devrait y avoir un système pour déterminer de quel tour il s'agit. Le but de cette question est de déterminer un …

9 algorithms scheduling

1

Convertir CFG en PDA

Existe-t-il un ensemble de règles ou de méthodes pour convertir une grammaire sans contexte en automates push down? J'ai déjà trouvé des diapositives en ligne mais je n'ai pas pu les comprendre. Dans la diapositive 10, il parle de certaines règles. Quelqu'un pourrait-il expliquer cela?

9 context-free formal-grammars pushdown-automata simulation

1

À la recherche d'un livre scientifique populaire sur la bioinformatique ou la génomique computationnelle

Un jeune de 15 ans intelligent que je connais s'intéresse à la fois à l'informatique et à la génétique. Je lui ai dit que ces domaines forment une excellente combinaison. Je voudrais lui donner un livre sur la bioinformatique ou la génomique computationnelle. Je cherche un livre amusant, pas un …

9 education books bioinformatics

1

Différence entre les langues acceptées par deux DFA avec un état initial / états d'acceptation différents?

Récemment, j'ai posé une question sur Math SE. Pas encore de réponse. Cette question est liée à cette question, mais plus de détails techniques vers l'informatique. Étant donné deux DFA et B = ( Q , Σ , δ , q 2 , F 2 ) où l'ensemble des états, …

9 formal-languages reference-request finite-automata

4

Qu'est-ce qu'une sorte de sémantique de langage de programmation?

Dans le chapitre 1 de Foundations pratiques pour les langages de programmation , l'auteur mentionne que les arbres de syntaxe abstraite sont associés aux tris . Intuitivement, les tris sont comme des types, mais j'aimerais savoir s'ils ont une définition précise. Je serais heureux si certaines références sont également fournies.

9 terminology programming-languages semantics

2

Machine de Turing à deux états pour l'appariement des parenthèses

Au collège, nous avons appris la théorie du calcul en général et les machines de Turing plus spécifiquement. L'un des grands résultats théoriques est qu'au prix d'un alphabet potentiellement grand (symboles), vous pouvez réduire le nombre d'états à seulement 2. Je cherchais des exemples de différentes machines de Turing et …

9 turing-machines context-free parsers

1

La transformation suivante préserve-t-elle l'absence de contexte?

J'ai rencontré ce problème impliquant la manipulation d'un langage sans contexte. Soit un langage sans contexte. Définissez pour chaque . Est toujours sans contexte? Je suppose que cela préservera la non-contextualité. Quelqu'un peut-il en apporter une preuve élémentaire?L # = { x : x i ∈ L i = 0 …

9 formal-languages context-free

2

Les structures de données de recherche probabilistes sont-elles utiles?

Une SkipList fournit les mêmes limites pour la recherche qu'un arbre équilibré avec l'avantage qu'un rééquilibrage n'est pas nécessaire. Étant donné que la SkipList est construite à l'aide de retournements de pièces aléatoires, ces limites ne tiennent que tant que la structure de la SkipList est suffisamment "équilibrée". En particulier, …

9 data-structures search-trees probabilistic-algorithms