Laisser L = {unen∣ n ≥ 0 }L={an∣n≥0}L = \{a^n \mid n \ge 0\}, où une0= ϵa0=ϵa^0 = \epsilon et unen=unen - 1unean=an−1aa^n = a^{n-1}a pour tous n ≥ 1n≥1n \ge 1. Donc LLL se compose de séquences de uneaa de toutes les longueurs, y compris une séquence de longueur 000. LaisserL2L2L_2 être un...
Laisser MMM être un NFA acyclique. Depuis MMM est acyclique, L(M)L(M)L(M) est fini. Pouvons-nous calculer |L(M)||L(M)||L(M)| en temps polynomial? Sinon, pouvons-nous l'approcher? Notez que le nombre de mots n'est pas le même que le nombre de chemins d'acceptation dans MMM, qui est facilement...
Selon ce graphique , les DCFL sont fermés sous inversion. Cependant, je ne suis pas convaincu que la preuve intuitive (inversant les flèches de la machine à états finis contrôlant et commutant les poussées et les pops) pour cela semble dépendre du non-déterminisme dans le choix de la transition...
Je veux demander exactement quelle est la relation entre les problèmes et les langues. Nous savons que l'ensemble de toutes les langues est innombrable. L'ensemble des problèmes est-il également indénombrable? Chaque problème peut-il être défini par une langue? Une langue peut-elle résoudre plus...
Nous avons deux langues: . Nous savons que est un langage régulier, donc ma question est de savoir si est régulier vers?L1,L2L1,L2L_1,L_2L1L2L1L2L_1L_2L2L1L2L1L_2L_1 J'essaie de trouver un moyen de le prouver ... Je ne peux bien sûr pas supposer que L1,L2L1,L2L_1,L_2sont réguliers ... Je cherche...
Ma question porte essentiellement sur trois langues A, B et L, où L est A et B concaténés ensemble et B se révèle non régulier, est-il possible de trouver un A qui rend L
L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | la longueur de est impaire 1 est au milieu dewww∧∧ \wedge w}w}w\} Donc l'alphabet est . Mon problème est que je ne peux pas suivre l'égalité des caractères avant et après . Un DFA limité pour une longueur inférieure à 6:{0,1}∗{0,1}∗\{0,1\}^*111...
Une propriété de «pompage» (des mots d'une certaine longueur impliquent l'existence de boucles dans le mécanisme de définition de la langue) est connue pour exister pour les langues régulières et sans contexte et quelques autres (généralement utilisées pour réfuter l'appartenance d'une langue à une...
En classe, notre professeur nous a montré 3 méthodes pour prouver la non-régularité: Théorème de Myhill – Nerode Pompage du lemme pour les langues régulières Preuve de non-régularité, basée sur la complexité de Kolmogorov Maintenant les deux premiers, le théorème de Myhill-Nerode et le lemme de...
Question: Existe-t-il des textes d'introduction en langage formel ou en théorie du langage de programmation qui discutent de la façon de l'appliquer à l'étude de la notation optimale? En particulier, je suis intéressé à savoir quels sont les langages de pile, les arbres d'analyse et les indices, et...
J'ai du mal à déterminer si tous les nombres carrés (1, 4, 9, 16, ...) écrits sous forme binaire (1, 100, 1001, ...) sont une langue régulière. Après quelques tentatives pour trouver un modèle commun de ces nombres, j'ai découvert que pour tout nombre carré , est égal à 0 ou 1, et je suis donc en...
Considérez la séquence . Il semble "régulier" d'une manière qui, par exemple, ne l'est pas.s1=(1,0,1,0,…)s1=(1,0,1,0,…)s_1 = (1, 0, 1, 0,\dots)s2=(1,2,3,4,…)s2=(1,2,3,4,…)s_2 = (1, 2, 3, 4,\dots) Je ne sais pas comment formaliser cette intuition cependant. Une chose qui me saute aux yeux est que...
Dans notre cours sur les concepts du langage de programmation, notre instructeur a affirmé qu'il est acceptable qu'un état final mène à un autre état dans un diagramme à états finis. Mais cela semble être un concept fondamentalement contradictoire. Parce qu'un état final par définition est un état...
J'essaie d'attaquer TAOCP une fois de plus, étant donné la lourdeur littérale des volumes que j'ai du mal à m'y engager sérieusement. Dans TAOCP 1, Knuth écrit, page 8, les concepts de base: Soit un ensemble fini de lettres. Soit l'ensemble de toutes les chaînes de (l'ensemble de toutes les...