Início / unix / Perguntas / 749953
Accepted
DannyNiu
Asked: 2023-06-27 12:39:38 +0800 CST

O padrão KornShell é uma expressão regular?

  • 772

O padrão KornShell estende os padrões "glob" do shell POSIX (ou seja *, ?, , etc.) com especificadores de repetição como *(...), +(...), bem como negação entre muitos recursos interessantes.

Em um projeto hobbista, pretendo implementar esses padrões para processamento de strings em vez de várias variantes de regex, como BRE, ERE, JavaScript RegExp. Um grande benefício que percebo é que será menos detalhado em strings C, pois os caracteres de barra invertida podem ser evitados ao escrever os padrões.

Minha compreensão limitada da ciência da computação sugere que os recursos suportados pelos padrões KornShell o qualificam como uma especificação de uma gramática regular.

Pergunta: Isso é tecnicamente correto? (Mesmo que não seja, ainda percebo essa sublinguagem como valiosa e desejável.)

regular-expression

1 respostas

  1. Best Answer

    Sim, está correto, isso pode se qualificar como expressão regular, assim como os padrões glob estendidos de zsh, que têm uma tradução mais direta do regexp estendido regular:

    ANTES zsh ksh93
    . ? ?
    x* x# *(x)
    x+ x## +(x)
    x{1,2} x(#c1,2) {1,2}(x)
    [...] [...] [...]
    (...) (...) @(...)
    a|b (a|b) @(a|b)
    ^ (#s) nenhum¹
    $ (#e) nenhum¹
    x? (|x) ?(x)
    \1² nenhum² \1

    O printfbuiltin do ksh93 pode até traduzir regexps de um dialeto para outro:

    $ printf '%P\n' '^(x{1,3})?a+'
?({1,3}(x))+(a)*
$ printf '%R\n' '*(x)'
^(x)*$

    A implementação ast-open de greptem um -K/ --ksh-regexppara corresponder usando padrões glob estendidos ksh93.

    Mas eu ainda evitaria chamá-lo de regexp , pois isso provavelmente só levaria a confusão.

    ¹ embora os padrões glob sejam frequentemente ancorados por padrão ou em algum contexto possam ser ancorados por meio de alguma sintaxe externa como a ${var/#pattern/replacement}que é semelhante ${var/pattern/replacement}ao padrão ancorado no início.

    ² não há referência anterior no ERE padrão, apenas no BRE padrão, embora alguns mecanismos ERE o suportem como uma extensão. Em qualquer caso, tanto zsh quanto ksh93 suportam a captura de partes de uma correspondência e recuperá-la posteriormente ( $MATCH/ $match[1]habilitado com (#m)/ (#b)em zsh ou \0/ ${.sh.match[0]}(correspondência completa como sed's &) \1/ ${.sh.match[1]}em ksh93, dependendo do contexto.

    • 3

relate perguntas