Questions marquées «fl.formal-languages»

langages formels, grammaires, théorie des automates

1
Quelle est la relation conjecturée entre les langues P (PTime) et de type 1 (contextuelles)?
P⊆ CSLP⊆CSLP\subseteq CSLP⊈ CSLP⊈CSLP\not\subseteq CSL PPP est l'ensemble de tous les langages décidables en temps polynomial sur une machine de Turing déterministe, et CSLCSLCSL est la classe des langages contextuels, connue pour être équivalente à , les langages décidés par des automates linéaires.NSPA CE( O ( n ) )NSPACE(O(n))NSPACE(O(n)) Pour …
3
Dureté de trouver un mot de longueur au plus acceptée par un automate pushdown non déterministe
Énoncé du problème: Soit un automate de refoulement (potentiellement non déterministe) et soit son alphabet d'entrée. Y a-t-il un mot st accepté par ?A w ∈ A ∗ | w | ≤ k MMMMAA\cal Aw∈A∗w∈A∗w \in \cal A^*|w|≤k|w|≤k|w| \leq kMMM Ce problème est-il NP-complet? At-il été étudié? Existe-t-il un algorithme …
3
Des exemples tirés de la théorie formelle du langage
J'apprends la théorie algébrique de l'analyse. Mon premier problème est d'identifier des exemples semi-spécifiques à la théorie formelle du langage. Voici une tentative de construire deux exemples. 1 Compte tenu de la grammaire CNF, les éléments de semiring sont des ensembles de symboles terminaux et non terminaux avec les opérations: …
1
Expressions régulières sans alternance
Je me demandais quels ensembles de langues sont générés par les restrictions des expressions régulières. Supposons que toutes les restrictions aient un symbole constant pour chaque élément de et de concaténation. Ensuite, huit classes peuvent être formées par la présence ou l'absence de complément / négation, d'altération / d'union et …
4
Pourquoi les automates linéaires bornés ne sont-ils pas aussi populaires que les autres automates?
D'après mon expérience, les langages contextuels et les automates linéaires bornés sont souvent ignorés ou ignorés dans les cours de théorie de la calculabilité, et sont même exclus de certains manuels remarquables, bien que les automates finis et déroulants reçoivent beaucoup d'attention. Il doit sûrement y avoir une bonne raison …
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.