Lindenmayer graph languages, first-order theories and expanders - ISEA - Institut de sciences exactes et appliquées Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2024

Lindenmayer graph languages, first-order theories and expanders

Résumé

Combinatorial generation of expander families and Lindenmayer-style development models are both parallel in nature. Both can be handled within proposed parallel graph grammar formalism. Their first-order properties can then be checked by encompassing the generated graph language into an appropriate automatic structure.
Fichier principal
Vignette du fichier
root.pdf (298.45 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04580653 , version 1 (20-05-2024)

Licence

Identifiants

  • HAL Id : hal-04580653 , version 1

Citer

Teodor Knapik. Lindenmayer graph languages, first-order theories and expanders. 2024. ⟨hal-04580653⟩

Collections

UNC ISEA-UNC
0 Consultations
4 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More