L'informatique

Q & A pour les étudiants, chercheurs et praticiens de l'informatique

2
Quelle est la complexité du problème de vide pour les DFA bidirectionnels?
Je me demande quelle est la complexité temporelle de la détermination du vide pour les DFA bidirectionnels? Autrement dit, des automates finis qui peuvent reculer sur leur bande d'entrée en lecture seule. Selon Wikipedia, ils sont équivalents aux DFA, bien que les DFA équivalents puissent être exponentiellement plus importants. J'ai …
2
Deviner le plus petit entier positif unique
Prenons le jeu suivant: il y a des joueurs et un ordinateur. Chaque joueur saisit un entier positif et son nom (le joueur ne connaît pas les numéros d'un autre, juste le sien). Lorsque tous les joueurs ont fait leurs mouvements, l'ordinateur affiche le nom du gagnant - qui a …
1
Prouver que le complément de
Je veux prouver que le complément de { 0n1n∣ n ≥0 }{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\} n'est pas régulier en utilisant des propriétés de fermeture. Je comprends que le lemme de pompage peut être utilisé pour prouver que { 0n1n∣ n ≥0 }{0n1n∣n≥0}\{0^n1^n \mid n \geq{} 0\}n'est pas une langue …
2
Pourquoi ne pouvons-nous pas trouver les chemins les plus courts avec des poids négatifs en ajoutant simplement une constante pour que tous les poids soient positifs?
Je lis actuellement l'introduction aux algorithmes et je suis venu de l'algorithme de Johnson qui dépend de s'assurer que tous les chemins sont positifs. l'algo dépend de la recherche d'une nouvelle fonction de poids (w ') positive pour toutes les arêtes et conservant l'exactitude des relations de chemins les plus …
3
Comment est cette grammaire LL (1)?
Ceci est une question du Dragon Book. Voici la grammaire: S→AaAb∣BbBaS→AaAb∣BbBaS \to AaAb \mid BbBa A→εA→εA \to \varepsilon B→εB→εB \to \varepsilon La question demande comment montrer qu'il s'agit de LL (1) mais pas de SLR (1). Pour prouver qu'il s'agit de LL (1), j'ai essayé de construire sa table d'analyse, …
4
Comment fonctionne une machine de Turing non déterministe?
Quelles sont les différences entre les machines de Turing déterministes et non déterministes? Modèles différents mais équivalents de NDTM. En particulier, quelle est cette expression fréquemment utilisée "devinez de façon non déterministe"? Comment l'utiliser correctement et exemples d'utilisation incorrecte. Mon objectif est de créer une question de référence.
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.