Precedência da função no algoritmo Shunting-yard


9

Estou trabalhando no algoritmo Shunting-yard , conforme descrito pela wikipedia.

A descrição do algoritmo ao lidar com operadores é a seguinte:

Se o token for um operador, o1, então:

enquanto houver um token de operador, o2, na parte superior da pilha do operador e

o1 is left-associative and its precedence is less than or equal to
that of o2, or

o1 is right associative, and has precedence less than that of o2,

em seguida, retire o2 da pilha do operador para a fila de saída;

pressione o1 na pilha do operador.

No entanto, eles fornecem o seguinte exemplo:

Entrada: sin max 2 3 / 3 * 3.1415

Quando o algoritmo atinge o /token, a descrição do que deve acontecer é a seguinte:

Token |        Action       |   Output (in RPN) |   Operator Stack
...
/     | Pop token to output | 2 3 max           | / sin 
...

Eles estão estalando o token função de maxdesligar o stacke colocando no queue. De acordo com o algoritmo, isso parece significar que o token de função é um operador e tem uma precedência menor que a do /operador.

Não há explicação se esse é o caso ou não. Então, para o Shunting-yardalgoritmo, qual é a precedência de uma função? As funções são direita ou esquerda associativas? Ou a wikipedia está incompleta / imprecisa?

Respostas:


5

Acredito que a resposta direta é simplesmente que funções não são operadores. Na página que você vinculou:

Se o token for um token de função, empurre-o para a pilha.

É tudo o que precisa dizer, já que o caso da função (prefixo ao postfix) é muito mais simples que o caso do operador (infixo ao postfix).

Para as perguntas de acompanhamento: As noções de precedência e associatividade são necessárias apenas devido à ambiguidade herdada em qualquer expressão com vários operadores de infixo. Os tokens de função já estão usando notação de prefixo, portanto, eles simplesmente não têm esse problema. Você não precisa saber se sinou maxtem "precedência maior" para descobrir o que maxprecisa ser avaliada em primeiro lugar; já está claro na ordem dos tokens. É por isso que os computadores preferem a notação pré / postfix, e porque temos esse algoritmo para converter infix em pré / postfix.

Você precisa ter algum tipo de regra para onde os argumentos de uma função começam e terminam quando nenhum parêntese está presente; portanto, você pode dizer que as funções "têm precedência" sobre os operadores ou vice-versa. Porém, diferentemente dos operadores de infix, uma única regra consistente para todas as funções é suficiente para tornar suas composições completamente inequívocas.


O algoritmo deles está correto, então; é o exemplo deles que está incorreto. A notação infixa deve incluir parêntesis envolvendo as funções:sin( max( 2 3) / 3 * 3.1415)
MirroredFate

Não sei se o chamaria incorreto, mas esse é um argumento forte a favor de idiomas que exigem parênteses e vírgulas em todas as chamadas de função.
Ixrec 17/07/2015

Eu acho que é incorreto, pois é impossível analisar o infix usando o algoritmo como eles o descrevem.
MirroredFate

@Ixrec Não vejo a linha "Se o token for um token de função, empurre-o para a pilha". na página da Wikipedia. Pode ser sua edição até agora. Mas você quer dizer que eu posso tratar uma função igual a um número no algoritmo?
Abhinav

3

Há dois casos diferentes a serem considerados, dependendo da sintaxe do seu idioma. Se o seu idioma usa parênteses para indicar a aplicação da função (por exemplo f(2+1)), a precedência é irrelevante. A função deve ser empurrada para a pilha e removida depois (no exemplo acima, o resultado é 2 1 + f). Como alternativa, você pode tratar a função como um valor e produzi-la imediatamente, e gerar uma operação de invocação de função após o parêntese próximo (que, caso contrário, deve ser tratado da mesma forma que qualquer outro parêntese), por exemplo f 2 1 + $, onde $está a operação de invocação de função.

Se seu idioma, no entanto, não usa parênteses para indicar a chamada de função, mas coloca o argumento diretamente após a função sem nenhuma pontuação especial (por exemplo f 2 + 1), como é aparentemente o caso do exemplo da Wikipedia, as coisas ficam um pouco mais complicadas. Observe que a expressão que acabei de dar como exemplo é ambígua: f é aplicado a 2 e 1 adicionado ao resultado ou adicionamos 2 e 1 juntos e depois chamamos f com o resultado?

Novamente, existem duas abordagens. Você pode simplesmente enviar a função para a pilha do operador quando a encontrar e atribuí-la à precedência que desejar. Essa é a abordagem mais simples e, aparentemente, é o que o exemplo citado fez. Existem questões práticas, no entanto. Em primeiro lugar, como você identifica uma função? Se você tem um conjunto finito, é fácil, mas se você possui funções definidas pelo usuário, isso significa que seu analisador precisa também alimentar o seu ambiente, o que pode ficar confuso rapidamente. E como você lida com funções com vários argumentos?

Meu sentimento é que, para esse estilo de sintaxe, o uso de funções como valores mais úteis por um operador de aplicativo de função faz muito mais sentido. Então, você pode simplesmente injetar o operador do aplicativo sempre que ler um valor e a última coisa que ler também for um valor, para que você não precise de nenhuma maneira especial de dizer quais identificadores são funções. Você também pode trabalhar com expressões que retornam funções (o que é difícil ou impossível com o estilo de função como operação). E isso significa que você pode usar currying para lidar com várias funções de argumento, o que é uma simplificação maciça ao tentar lidar com elas diretamente.

A única coisa que você precisa decidir é qual é a precedência do aplicativo de funções. A escolha é sua, mas em todos os idiomas que usei que funcionam assim, ele tem sido o operador mais fortemente vinculante do idioma e tem uma associação associativa. (A única variação interessante é Haskell, que além de ter a versão fortemente vinculativa descrita, também possui um sinônimo com o símbolo $que é o operador mais fraco na linguagem, permitindo expressões como f 2 + 1aplicar f a 2 e f $ 2 + 1aplicar para todo o resto da expressão)


3

Eu implementei as "funções no pátio de manobra" solicitadas depois de ler o pensamento original de Dijkstra (páginas 7-11 no artigo do compilador Algol 60, https://ir.cwi.nl/pub/9251 ), e necessitando de uma solução robusta, fez o seguinte:

análise:

  • Empurre o descritor de função
  • Empurre um colchete esquerdo do início da args "[", exatamente como o parêntese do início da subexpressão.
  • Leia uma sequência da lista de argumentos balanceados "(" para ")" da entrada
  • Envie isso para o fluxo do token de saída
  • Empurre um suporte direito de fim de args "]" exatamente como o "suporte de fechamento compensador"

Infix ao postfix (pátio de manobra):

  • Adicione outra pilha, a pilha de funções, exatamente como a pilha do operador
  • Ao digitalizar um nome de função, empurre as informações da função para a pilha de funções
  • Quando um colchete direito de final de argumento for visto, pop a pilha de funções para a saída

Funciona perfeitamente em testes robustos e cenários complicados. No meu aplicativo (um expansor de argumentos que contém expressões de linha de comando), eu apoio funções de múltiplos argumentos e um token de vírgula "," para separá-las, e elas fluem por todo o processo.

Os exemplos se parecem com "sqrt (3 ^ 2 + 4 ^ 2)", que se torna "3 2 ^ 4 2 ^ + sqrt" e, finalmente, "5", que é o que o programa pensa ser o argumento. É bignum, então "" binomial (64, 32) / gcd (binomial (64, 32), binomial (63, 31)) "==> grandes coisas ==>" 2 "são úteis." 123456 ^ 789 " são 40.173 dígitos e o tempo mostra "avaliação = 0.000390 seg" no meu MacBookPro, tão rápido.

Eu também uso isso para expandir dados em tabelas e acho isso útil. Enfim, esta é a minha dica no caminho para lidar com cuidado com chamadas de função, vários argumentos e aninhamento profundo em um contexto de pátio de manobra de Dijkstra. Só fiz isso hoje a partir de pensamento independente. Não sei se pode haver maneiras melhores.

Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.