Questions marquées «fl.formal-languages»

langages formels, grammaires, théorie des automates

1
Existe-t-il un livre / papier d'enquête décrivant les hiérarchies des classes de langues, les propriétés de fermeture, etc.
Je fais actuellement des recherches sur le langage formel impliquant des classes de langues au-dessus de Regular mais en dessous de Context Free. Je regarde des choses comme les machines à compteurs multiples inversées, les compteurs à pile unique, les LFC déterministes, etc. Je me demande si quelqu'un connaît un …
3
Une langue «simple» en dehors de
Je recherche une langue L avec les propriétés suivantes: L ne doit pas être hors contexte. Le complément de L ne doit pas être hors contexte. (Tout ce que vous voyez dans les manuels comme exemples de langues non contextuelles semble ne pas répondre à cette deuxième exigence.) L ne …
2
Systèmes d'addition vectorielle avec des «obstacles» finis
Un système d'addition vectorielle (VAS) est un ensemble fini d' actions A⊂ZdA⊂ZdA \subset \mathbb{Z}^d . NdNd\mathbb{N}^d est l'ensemble des marquages . Une course est un mot non vide de marques m0m1…mnm0m1…mnm_0 m_1\dots m_n st ∀i∈{0,…,n−1},mi+1−mi∈A∀i∈{0,…,n−1},mi+1−mi∈A\forall i \in \{0, \dots, n-1\}, m_{i+1}-m_i \in A . Si un tel mot existe, nous …
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.