System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby - Institut d'Optique Graduate School Accéder directement au contenu
Communication Dans Un Congrès Année : 2024

System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby

Dakotah Lambert

Résumé

We introduce here a domain-specific language, PLEB. The Piecewise-Local Expression Builder interpreter (plebby) is an interactive system for defining, manipulating, and classifying regular formal languages. The interactive theorem-proving environment provides a generalization of regular expressions with which one can intuitively construct languages via constraints. These constraints retain their semantics upon extension to larger alphabets. The system allows one to decide implications and equalities, either at the language level (with a specified alphabet) or at the logical level (across all possible alphabets). Additionally, one can decide membership in a number of predefined classes, or arbitrary algebraic varieties. With several views of a language, including multiple algebraic structures, the system provides ample opportunity to explore and understand properties of languages.
Fichier principal
Vignette du fichier
main.pdf (365.36 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04582383 , version 1 (21-05-2024)

Licence

Copyright (Tous droits réservés)

Identifiants

Citer

Dakotah Lambert. System Description: A Theorem-Prover for Subregular Systems: The Language Toolkit and Its Interpreter, Plebby. Functional and Logic Programming, Shin-ya Katsumata, May 2024, Kumamoto, Japan. pp.311-328, ⟨10.1007/978-981-97-2300-3_16⟩. ⟨hal-04582383⟩
0 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More