A funcionalidade de pesquisa está em construção.
A funcionalidade de pesquisa está em construção.

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice

The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice

User-Defined On-Demand Matching Correspondência sob demanda definida pelo usuário

Masaki NAKAMURA, Kazuhiro OGATA, Kokichi FUTATSUGI

  • Exibições de texto completo

    0

  • Cite isto

Resumo:

Propomos uma estratégia de correspondência sob demanda definida pelo usuário, chamada O-matching, na qual os usuários podem controlar a ordem dos argumentos de correspondência de cada símbolo de operação. Em esquemas de correspondência comuns não é importante definir a ordem de correspondência, no entanto, em esquemas de correspondência sob demanda, é muito importante, uma vez que um termo de entrada pode ser alterado durante o processo de correspondência sob demanda. O-matching é adequado para combinar com a estratégia E, que é uma estratégia de redução definida pelo usuário na qual os usuários podem controlar a ordem de redução dos argumentos. Mostramos uma condição suficiente sob a qual a estratégia E com emparelhamento O é correta para formas normais de cabeça, ou seja, qualquer termo reduzido é uma forma normal de cabeça.

Publicação
IEICE TRANSACTIONS on Information Vol.E92-D No.7 pp.1401-1411
Data de publicação
2009/07/01
Publicitada
ISSN online
1745-1361
DOI
10.1587/transinf.E92.D.1401
Tipo de Manuscrito
PAPER
Categoria
Computação e Modelos Computacionais

autores

Palavra-chave