Questions marquées «formal-languages»

Questions liées aux langages formels, aux grammaires et à la théorie des automates

3
problème indécidable et sa négation est indécidable
Beaucoup de problèmes indécidables «célèbres» sont néanmoins au moins semi-décidables, leur complément étant indécidable. Un exemple par-dessus tout peut être le problème de l'arrêt et son complément. Cependant, quelqu'un peut-il me donner un exemple dans lequel un problème et son complément sont indécidables et non semi-décidables? J'ai pensé au langage …
1
qu'est-ce que la sémantique?
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 autre langage bien compris. Ils appellent ce langage …
2
Fermeture contre le bon quotient avec une langue fixe
J'adorerais vraiment votre aide avec les éléments suivants: Pour tout fixe, je dois décider s'il y a fermeture sous les opérateurs suivants:L2L2L_2 Ar(L)={x∣∃y∈L2:xy∈L}Ar(L)={x∣∃y∈L2:xy∈L}A_r(L)=\{x \mid \exists y \in L_2 : xy \in L\} Al(L)={x∣∃y∈L:xy∈L2}Al(L)={x∣∃y∈L:xy∈L2}A_l(L)=\{x \mid \exists y \in L : xy \in L_2\} . Les options pertinentes sont: Les langues régulières …
1
POSIX BRE peut-il exprimer toutes les langues régulières?
Il semble que les «expressions régulières de base» telles que définies par POSIX.1-2008 ne prennent pas en charge l'alternance a|b(bien que certaines implémentations grep reconnaissent la version échappée \|). Les langues régulières étant fermées par union par définition, cela signifie-t-il que POSIX BRE a moins de pouvoir expressif qu'un automate …
4
Pourquoi n'y a-t-il pas de permutation dans les regexes? (Même si les langues régulières semblent pouvoir le faire)
Le problème Il n'y a pas de moyen facile d'obtenir une permutation avec une expression régulière. Permutation: obtenir un mot ("aabc") dans un autre ordre, sans changer le nombre ou le type de lettres.w=x1…xnw=x1…xnw=x_1…x_n Regex: expression régulière. Pour vérification: "Permutations d'expression régulière sans répétition" La réponse crée du code JavaScript …
3
Langages réguliers qui ne peuvent pas être exprimés avec seulement 2 opérations regex
Je pensais que toutes les langues régulières pouvaient être exprimées avec des expressions régulières (si une langue est régulière, elle peut être exprimée avec regex), mais on m'a dit que vous avez besoin des trois opérations régulières (concaténation, union et étoile) pour cela tenir. Par exemple, on m'a dit que …
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.