Character Classes (1997)
by
E. Visser
,
Eelco Visser
,
Eelco Visser
,
Eelco Visser
| Citations: | 5 - 4 self |
BibTeX
@MISC{Visser97characterclasses,
author = {E. Visser and Eelco Visser and Eelco Visser and Eelco Visser},
title = {Character Classes},
year = {1997}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
this paper an algebraic specification of character classes is presented. We define a normalization of character classes that results in unique, most compact normal forms such that equality of character classes becomes syntactic equality of their normal forms. 1 Introduction
Citations
| 1 | Language Prototyping. An Algebraic Specification Approach, volume 5 - Aho, Sethi, et al. - 1986 |
| 1 | 0 = natcon(c) Cut off subtraction for single digit natural numbers - \Gamma |
| 1 | n 1 + \Gamma n 2 - \Gamma |
| 1 | n 1 \Gamma n 2 = \Gamma n when n 1 - \Gamma |
| 1 | n 1 \Gamma \Gamma n 2 - \Gamma |
| 1 | n 1 n 2 = \Gamma n when n 1 n 2 - \Gamma |
