Descrizione linguaggio

[venexian]

Nella descrizione di un file di configurazione ho trovato delle regole espresse con un formalismo simile a quello utilizzato nei corsi di 'automi e linguaggi formali', ma con differenze sostanziali. Per intenderci, intendo delle stringhe descrittive con significati del tipo:

0-9 i numeri da zero a nove
a-z le lettere minuscole
A-Z le lettere maiuscole
[ x ]... ripetizione contenuto zero o più volte
( x )... ripetizione contenuto una o più volte
'x' un singolo carattere

e così via.

Con questo formalismo, un numero decimale viene descritto come

['-']('0-9'['0-9']...['.'['0-9'['0-9']...]])|('.'0-9'['0-9']...)

che descrive numeri del tipo 0, 1, 1.2, 0.1, .12, ecc.

Esiste uno standard per questo tipo di descrizione (ISO o similare)?

[PietroBaima]

Espressioni regolari

[xyz]

['-']('0-9'['0-9']...['.'['0-9'['0-9']...]])|('.'0-9'['0-9']...)
che descrive numeri del tipo 0, 1, 1.2, 0.1, .12, ecc.

Da esporto delle regular expression l'espressione non è proprio scritta bene e non copre tutti i possibili casi (+123, 1.2E-3)

Il linguaggio di programmazione con la più completa e complessa implementazione delle regular expression è il Perl:

https://perldoc.perl.org/perlre.html

Esisto dei programmi per verificare come viene elaborata la stringa in ingresso attraverso una regular expression, alcuni sono anche on-line:

https://regexr.com
https://regex101.com

Esistono collezioni di regular expression già pronte, ad esempio:

http://regexlib.com

[venexian]

Grazie. 'Espressioni Regolari' era proprio l'informazione che cercavo.

Da quanto vedo, però, non esiste un unico standard, ma vari standard per vari casi (come a dire nessuno standard). A dire il vero, per un argomento così importante mi sarei aspettato un ISO specifico.

Da esporto delle regular expression l'espressione non è proprio scritta bene e non copre tutti i possibili casi (+123, 1.2E-3)

A dire il vero, è scritta bene.
Non è l'espressione per ogni numero in virgola mobile, ma quella per i campi numerici dello standard ISO-6983 (il G-Code utilizzato nelle macchine a controllo numerico). Non segue lo standard IEEE, ma identifica correttamente tutti i casi.

[xyz]

...non esiste un unico standard, ma vari standard...

Un tentativo di standard è stato fatto per i sistemi operativi POSIX:

http://man7.org/linux/man-pages/man7/regex.7.html

ma poi ogni programma ha la sua implementazione. Le regole base sono rispettate ma poi ci sono delle differenze e estensioni.

Non è l'espressione per ogni numero in virgola mobile, ma quella per i campi numerici dello standard ISO-6983

Ok, quindi sono numeri molto specifici non quelli IEEE 754.