一昨日(2005-04-07)の日記で間違いを書いてしまって、ひるがえってもとの記事「属性のための正規表現」も同じ間違いをおかしていたのに気が付きました。で、直しました。
間違っていたのは次の2箇所です。
いずれも、空集合{}ではなくて、空集合だけからなる集合{{}}です。
同じような内容を表す次の文は、まー、自然言語による説明としては間違いとも言えないのでそのまま残してあります。
- 定数EMPTYは空集合(何も出現しない)を表す。
ただ、aと{a}を混同しているのが間違いのもとなので、注釈はしておきました。
見直しをしたので、ステータスはprefinalに格上げ。