Does Unification Help in Normalization?
نویسندگان
چکیده
In this paper, we present a preprocessor for rules based on unification, which has the potential to enable faster search for potential redexes in normalization. We implement this idea in Laboratory for Rapid Rewriting (LRR) [1] and compare our method with ELAN [2] and Maude [3] using both favorable and unfavorable examples to demonstrate the performance. Index Terms Unification, Normalization.
منابع مشابه
Gauge Coupling Unification: Strings versus SUSY-GUTs
Standard (level one) heterotic string models with standard model gauge group predict the unification of SU(3) and SU(2) gauge couplings whereas the U(1) factor is unified modulo an unknown normalization factor k1. On the other hand the unification mass is known. I argue that this situation is quite analogous (though opposite) to that in SUSYGUTs in which the U(1) normalization is known (k1 = 5/...
متن کاملBeta-reduction as Unification Dedicated to the Memory of Professor Helena Rasiowa
We define a new unification problem, which we call β-unification and which can be used to characterize the β-strong normalization of terms in the λ-calculus. We prove the undecidability of β-unification, its connection with the system of intersection types, and several of its basic properties.
متن کاملTo normalize, or not to normalize: The impact of normalization on Part-of-Speech tagging
Does normalization help Part-of-Speech (POS) tagging accuracy on noisy, noncanonical data? To the best of our knowledge, little is known on the actual impact of normalization in a real-world scenario, where gold error detection is not available. We investigate the effect of automatic normalization on POS tagging of tweets. We also compare normalization to strategies that leverage large amounts ...
متن کاملThe Formal System λδ
The formal system λδ is a typed λ-calculus that pursues the unification of terms, types, environments and contexts as the main goal. λδ takes some features from the Automath-related λ-calculi and some from the pure type systems, but differs from both in that it does not include the Π construction while it provides for an abbreviation mechanism at the level of terms. λδ enjoys some important des...
متن کاملThe Effects of Exchange Rate Unification on the Iranian Economy
The exchange rate unification is one of the most important instruments of economic adjustment, which is used in many countries. This paper shows the effects of the exchange rate unification on price level (inflation), gross domestic production (GDP), non-oil exports, private conception, government expenditure and stock of money. The data, is used related to the period 1959-2000. To analyze the ...
متن کامل