Un automate fini déterministe (DFA) est un modèle de machine à états capable d'accepter tous et seulement les langages réguliers. Les DFA peuvent être (et sont généralement) définis de telle manière que chaque état doit fournir une transition pour tous les éléments de l'alphabet d'entrée; en...
Étant donné les langues AAA et BBB , disons que leur concaténation ABABAB est sans ambiguïté si pour tous les mots w∈ABw∈ABw \in AB , il y a exactement une décomposition w=abw=abw = ab avec a∈Aa∈Aa \in A et b∈Bb∈Bb \in B , et ambiguë sinon. (Je ne sais pas s'il existe un terme établi pour cette...
Il s'agit d'une question complémentaire à celle- ci . Dans une question précédente sur les machines à états exotiques , Alex ten Brink et Raphael ont abordé les capacités de calcul d'une sorte particulière de machine à états: les automates à tas min. Ils ont pu montrer que l'ensemble des langages...
Notez qu'il s'agit d'une question liée à l'étude dans un cours de CS dans une université, ce n'est PAS des devoirs et peut être trouvé ici sous l'examen d'automne 20112. Voici les deux questions que je regarde d'un examen passé. Ils semblent être liés, le premier: Laisser FINITECFG={<G>∣G is...
On peut soutenir que la plupart des langages créés pour décrire des problèmes quotidiens sont sensibles au contexte. En revanche, il est possible et pas difficile de trouver des langages qui ne sont pas récursifs ou même non récursivement énumérables. Entre ces deux types se trouvent les langages...
Donc, fondamentalement, L satisfait aux conditions du lemme de pompage pour les CFL mais n'est pas un CFL (ce qui est possible selon la définition du
Soit Σ={0,1}Σ={0,1}\Sigma = \{ 0, 1 \} . Un langage L⊆Σ∗L⊆Σ∗L \subseteq \Sigma^* est dit d'avoir la propriété « anti-palindrome » si pour chaque chaîne www qui est un palindrome, w∉Lw∉Lw\notin L . De plus, pour chaque chaîne uuu qui n'est pas un palindrome, soit u∈Lu∈Lu\in L ou...
Dans mon manuel, il est mentionné que: où est une langue vide.∅∗={ϵ}∅∗={ϵ}\emptyset^*=\{\epsilon\}∅∅\emptyset Cependant, nous savons que , où est n'importe quelle langue.L⋅∅=∅L⋅∅=∅L \cdot \emptyset = \emptysetLLL Je ne suis pas en mesure de saisir intuitivement ce concept car l'opération de...
Étant donné un langage , définissez l'ensemble de longueur de comme l'ensemble de longueurs de mots dans : L L L S ( L ) = { | u |LLLLLLLLLL S (L)={ | u | ∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Quels ensembles d'entiers peuvent être l'ensemble de longueurs d'une langue...
Il s'agit d'une question complémentaire à celle- ci . Dans une question précédente sur les machines à états exotiques , Alex ten Brink et Raphael ont abordé les capacités de calcul d'une sorte particulière de machine à états: les automates à tas min. Ils ont pu montrer que l'ensemble des langages...
Existe-t-il une caractérisation algébrique du nombre de mots d'une longueur donnée dans une langue régulière? Wikipédia énonce un résultat quelque peu imprécis: Pour tout langage régulier il existe des constantes et des polynômes tels que pour tout le nombre de les mots de longueur dans satisfont à...
Selon l'article de Wikipedia , le L dans signifie "balayage de gauche à droite" et le "R" signifie "dérivation la plus à droite". Cependant, dans l'article original de Knuth sur les grammaires L R ( k ) , il définit L R ( k ) (à la page 610) comme un langage "traduisible de gauche à droite avec k...
Soit GGG une grammaire sans contexte. Une chaîne de terminaux et de nonterminals est dit être une forme propositionnelle de si vous pouvez l' obtenir en appliquant des productions de zéro fois ou plus au symbole de début de . Let l'ensemble des formes phrastiques de
Étant donné un alphabet , combien de langues différentes sont régulièrement là- bas qui peuvent être acceptées par un -state automate fini non déterministe?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn À titre d'exemple, considérons . Nous avons alors configurations de transition différentes et...
Je m'interroge sur la relation entre la complexité de calcul et la hiérarchie de Chomsky, en général. En particulier, si je sais qu'un problème est NP-complet, cela signifie-t-il que la langue de ce problème n'est pas sans contexte? Par exemple, le problème de clique est NP-complet. S'ensuit-il que...
J'essaie de m'enseigner l'usage du bison. Le bison de la page de manuel (1) dit à propos du bison: Générez un analyseur syntaxique déterministe LR ou LR généralisé (GLR) en utilisant les tables d'analyseur LALR (1), IELR (1) ou canonique LR (1). Qu'est-ce qu'un analyseur IELR? Tous les articles...
Je me demandais quand les langues contenant le même nombre d'instances de deux sous-chaînes seraient régulières. Je sais que le langage contenant un nombre égal de 1 et de 0 n'est pas régulier, mais est un langage tel que , où = nombre moyen d'instances de la sous-chaîne "001" est égal au nombre...
Définissez la langue LLL comme L = { a , b } ∗ - { w w ∣ w ∈ { a , b } ∗ }L={a,b}∗−{ww∣w∈{a,b}∗}L = \{a, b\}^* - \{ww\mid w \in \{a, b\}^*\} . En d'autres termes, LLL contient les mots qui ne peuvent pas être exprimés comme un mot répété deux fois. L est LL-il sans contexte ou non? J'ai essayé de...
Je recherche un algorithme efficace pour le problème suivant ou une preuve de dureté NP. Soit ΣΣ\Sigma un ensemble et A ⊆ P ( Σ )A⊆P(Σ)A\subseteq\mathcal{P}(\Sigma) un ensemble de sous-ensembles de ΣΣ\Sigma . Trouver une séquence w ∈ Σ ∗w∈Σ∗w\in \Sigma^* de moindre longueur telle que pour chaque L...
Il existe de nombreuses langues populaires. Mais, les informaticiens nous disent que pour comprendre le comportement des programmes dans ces langues argumenter définitivement et sans ambiguïté sur le comportement du programme (par exemple prouver leur identité), nous devons les traduire dans un...