Manual de gramática Bash

Question

Estou à procura da sintaxe do bash, da diferença gramatical do "Bash Reference Manual" (achei um pouco incoerente, meu propósito requer uma abordagem quase matemática para a elaboração de scripts). Alguma idéia?

    

Answer 1

Não tenho certeza se existem boas gramáticas formais para o Bash.

Em poucos dias (18 de setembro de 2017), há dois seminários da Gallium sobre essa questão (no INRIA Paris), por Y. Régis-Gianas (sobre Parsing POSIX shell ) e N. Jannerod (sobre Formalizar um idioma intermediário para o shell POSIX ).

^{(Gálio gosta de tópicos quentes de pesquisa, então eu acredito que esses são assuntos difíceis; eu acho que eles publicariam algo sobre isso)}

    

Answer 2

Eu encontrei uma gramática BNF de BASH V2 no apêndice do seguinte livro: "Aprendendo o bash Shell, 2nd Edition". Ainda é acessível aqui .