Come formalizzare correttamente l'uso della riga di comando dei comandi GNU/Linux?

Question

Vorrei scrivere una grammatica formale simile a BNF per descrivere l'utilizzo da riga di comando di alcuni strumenti GNU/Linux. Per esempio posso descrivere l'uso del comando cat come:

(cat-command) : 'cat' (arguments-list) 
(arguments-list) : (argument) 
(arguments-list) : (arguments-list) (argument) 
(argument) : (file) 

Il problema è che non posso scrivere una grammatica preciso per alcuni comandi come md5sum. Il mio primo tentativo di questo sarebbe il seguente:

(md5sum-command) : 'md5sum' (arguments-list) 
(arguments-list) : (argument) 
(arguments-list) : (arguments-list) (argument) 
(argument) : (file) 
(argument) : '--check' 

Ma come si può vedere questa grammatica consente di specificare l'argomento --check tutte le volte che lo si desidera, che non è corretto, come si dovrebbe usare al massimo una sola volta .

Come posso risolvere il problema? Inoltre, che tipo di grammatiche formali dovrei studiare per trattare meglio questo tipo di problemi?

Answer 1

Si potrebbe provare qualcosa di simile:

(md5sum-command) : 'md5sum' (arguments-list) 
(arguments-list) : (file-arguments) | '--check' (file-arguments) 
(file-arguments) : (file) (file-arguments) 

Supponendo che si vuole essere in grado di specificare esattamente un --check al comando, ma non dipendere da esso essere il primo argomento, è possibile utilizzare:

(md5sum-command) : 'md5sum' (arguments-list) 
(arguments-list) : (file-arguments) | (file-arguments) '--check' (file-arguments) 
(file-arguments) : (file) (file-arguments) 

Si noti inoltre che il simbolo pipe (|) è solo una scorciatoia per una regola aggiuntiva. Quello che segue è equivalente:

(md5sum-command) : 'md5sum' (arguments-list) 
(arguments-list) : (file-arguments) 
(arguments-list) : (file-arguments) '--check' (file-arguments) 
(file-arguments) : (file) (file-arguments) 

Sarei sorpreso se non è possibile specificare più comandi UNIX con una grammatica libera contesto come quelli espressi in BNFS.

Answer 2

Probabilmente ho trovato una risposta, anche se non è quella prevista. È possibile scegliere di riconoscere la correttezza di un comando anziché generare comandi corretti. Usando un linguaggio ibrido, è possibile scrivere la seguente serie di requisiti:

argument(0) == "md5sum" 
forall i, if i != 0 then argument(i) == "--binary" or 
         argument(i) == "--text" or 
         argument(i) == "--check" or 
         argument(i) == "--status" or 
         argument(i) belongs to <file> 
0 <= instances("--binary") + instances("--text") <= 1 
0 <= instances("--check") <= 1 
if instances("--check") == 1 then 0 <= instances("--status") <= 1 

Non voglio segnare questa risposta come quella giusta, perché io sono ancora curioso di sapere se esiste un modo per generare corretta comandi.