From: gotoken@... (GOTO Kentaro)
Date: 1999-11-25T20:18:22+09:00
Subject: [ruby-list:18935] Re: BNF (Re: Array#===)

ごとけんです

In message "[ruby-list:18933] Re: BNF (Re: Array#===)"
    on 99/11/25, KIMURA Koichi <kimura@sqa.canon.co.jp> writes:
>>>ぼくはBNFの勉強をしたときに、正規表現じゃん、と思いましたです。ハイ。
>>
>>Backus-Naur Form は context free grammer なので、
>>racc や rbison の対象です ;)
>
>BNFそのものは文脈自由文法かどうかに関係ないのではないでしょうか?
>文脈依存文法を記述することだってできますし。

えっと、BNFで文脈依存文法の表現を指定することは出来るかも知
れませんが、BNFで文脈依存言語(Chomskyの type-I language だと
して)は書けないですよね?? BNF自体が非形式的概念なのであれで
すが、BNFは文脈自由文法の表現として扱うと思ってましたがもし
かして違います??

要するに言いたかったのは、BNF で書ける言語クラスは正規表現で
書ける言語クラスを含むということです。

# 「言語」とか「クラス」とかRuby屋の使うのと違うのだけど ^^;;;

-- gotoken