L'informatique formal-languages

2

Exemples de langages sans contexte avec des compléments sans contexte

Les langues sans contexte ne sont pas fermées par complémentation. Dans les conférences, on nous a donné le même argument qu'ici sur Wikipédia : pour et sont tous deux sans contexte, mais leur intersection ne l'est pas. Étant donné que les langues sans contexte sont fermées sous les unions, elles …

11 formal-languages context-free

1

Algorithme pour tester si une langue est régulière

Existe-t-il un algorithme / une procédure systématique pour tester si une langue est régulière? En d'autres termes, étant donné un langage spécifié sous forme algébrique (pensez à quelque chose comme L={anbn:n∈N}L={anbn:n∈N}L=\{a^n b^n : n \in \mathbb{N}\}), testez si la langue est régulière ou non. Imaginez que nous écrivons un service …

11 algorithms formal-languages regular-languages decision-problem

2

Trouver le langage généré par une grammaire sans contexte

Ceci est une question du livre Dragon (je m'excuse pour les erreurs de traduction, je n'ai pas la version anglaise sous la main): Quelle langue est générée par cette grammaire? S→aSbS∣bSaS∣ϵS→aSbS∣bSaS∣ϵS \rightarrow a S b S \mid b S a S \mid \epsilon Je ne sais pas ce que je …

11 formal-languages context-free formal-grammars

4

Star free language vs regular language

Je me demandais, car a∗a∗a^* lui - même est un langage sans étoile, est - il une langue régulière qui n'est pas un langage sans étoile? Pouvez-vous donner un exemple? (de wikipdia ) Lawson définit les langues sans étoiles comme: Une langue régulière est dite sans étoile si elle peut …

11 formal-languages regular-languages automata

3

Preuve facile pour les langues sans contexte fermées par changement cyclique

Le décalage cyclique (également appelé rotation ou conjugaison ) d'un langage est défini comme . Selon wikipedia (et ici ), les langages sans contexte sont fermés dans le cadre de cette opération, avec des références aux articles d'Oshiba et de Maslov. Y a-t-il une preuve facile de ce fait?L { …

11 formal-languages context-free closure-properties

1

Déduire les types de raffinement

Au travail, j'ai été chargé de déduire des informations de type sur un langage dynamique. Je réécris des séquences d'instructions en imbriquéeslet expressions , comme ceci: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y …

11 programming-languages logic type-theory type-inference machine-learning data-mining clustering order-theory reference-request information-theory entropy algorithms algorithm-analysis space-complexity lower-bounds formal-languages computability formal-grammars context-free parsing complexity-theory time-complexity terminology turing-machines nondeterminism programming-languages semantics operational-semantics complexity-theory time-complexity complexity-theory reference-request turing-machines machine-models simulation graphs probability-theory data-structures terminology distributed-systems hash-tables history terminology programming-languages meta-programming terminology formal-grammars compilers algorithms search-algorithms formal-languages regular-languages complexity-theory satisfiability sat-solvers factoring algorithms randomized-algorithms streaming-algorithm in-place algorithms numerical-analysis regular-languages automata finite-automata regular-expressions algorithms data-structures efficiency coding-theory algorithms graph-theory reference-request education books formal-languages context-free proof-techniques algorithms graph-theory greedy-algorithms matroids complexity-theory graph-theory np-complete intuition complexity-theory np-complete traveling-salesman algorithms graphs probabilistic-algorithms weighted-graphs data-structures time-complexity priority-queues computability turing-machines automata pushdown-automata algorithms graphs binary-trees algorithms algorithm-analysis spanning-trees terminology asymptotics landau-notation algorithms graph-theory network-flow terminology computability undecidability rice-theorem algorithms data-structures computational-geometry

3

Comment convertir un NFA avec des cycles qui se chevauchent en une expression régulière?

Si je comprends bien, les NFA ont le même pouvoir expressif que les expressions régulières. Souvent, la lecture d'expressions régulières équivalentes dans NFA est facile: vous traduisez des cycles en étoiles, des jonctions comme alternatives, etc. Mais que faire dans ce cas: [ source ] Les cycles qui se chevauchent …

11 algorithms formal-languages finite-automata regular-expressions

2

Comment puis-je prouver que cette langue n'est pas sans contexte?

J'ai la langue suivante { 0je1j2k∣ 0 ≤ i ≤ j ≤ k }{0i1j2k∣0≤i≤j≤k}\qquad \{0^i 1^j 2^k \mid 0 \leq i \leq j \leq k\} J'essaie de déterminer dans quelle classe de langue Chomsky il s'intègre. Je peux voir comment cela pourrait être fait en utilisant une grammaire contextuelle, donc …

11 formal-languages context-free formal-grammars pumping-lemma

1

Une union infinie de langues sans contexte est-elle toujours sans contexte?

Soit L1L1L_1 , L2L2L_2 , L3L3L_3 , ……\dots une suite infinie de langages sans contexte, chacun étant défini sur un alphabet commun . Soit l'union infinie de , , , ; c'est-à-dire, .ΣΣΣLLLL1L1L_1L2L2L_2L3L3L_3……\dots L=L1∪L2∪L3∪…L=L1∪L2∪L3∪…L = L_1 \cup L_2 \cup L_3 \cup \dots Est-il toujours vrai que est un langage sans …

11 formal-languages context-free closure-properties

4

Pouvez-vous spécifier un langage de programmation sans implémentation?

Est-il théoriquement possible de spécifier un langage de programmation pour lequel aucune implémentation ne pourrait exister? Un langage de programmation est un moyen de définir des fonctions. Une implémentation signifie une méthode pour exécuter un programme donné dans ce langage sur une entrée donnée à la sortie de la fonction …

11 formal-languages computability programming-languages

5

Une condition suffisante et nécessaire sur la régularité d'une langue

laquelle des déclarations suivantes est correcte? des conditions suffisantes et nécessaires de régularité d'une langue existent mais ne sont pas encore découvertes. Il n'y a pas de condition suffisante et nécessaire sur la régularité d'une langue. Le pompage du lemme est une condition nécessaire à la non-régularité d'une langue. Le …

11 formal-languages regular-languages

3

Qu'est-ce que le complément des langues sans contexte?

⊊⊊\subsetneq

11 complexity-theory formal-languages context-free closure-properties sets

2

La langue impliquant un numéro irrationnel n'est pas une LFC

Je travaille à travers un exercice difficile dans un manuel, et je n'arrive pas à comprendre comment procéder. Voici le problème. Supposons que nous ayons le langage L = { a i b j : i ≤ j γ , i ≥ 0 , j ≥ 1 }L={aibj:i≤jγ,i≥0,j≥1}L = \{a^ib^j: …

10 formal-languages automata context-free

1

Construire tous les langages sans contexte à partir d'un ensemble de langages de base et de propriétés de fermeture?

Une façon de regarder les expressions régulières est une preuve constructive du fait suivant: il est possible de construire les langages réguliers en commençant par un petit ensemble de langages et en les combinant via un petit ensemble fixe de propriétés de fermeture. Plus précisément, si nous commençons par la …

10 formal-languages context-free closure-properties regular-expressions

2

Méthode pour mesurer la «similitude» entre les grammaires FSA?

Je travaille avec un algorithme de correspondance de motifs qui génère un automate à états finis acyclique qui accepte une chaîne de texte donnée et toutes ses sous-chaînes. L'algorithme FSA est exécuté sur une représentation symbolique d'un flux musical (par exemple, des données MIDI). Le flux musical a été prétraité …

10 formal-languages reference-request finite-automata

Questions marquées «formal-languages»