Rubyで変数かどうかをチェックする正規表現を書きたい

Question

学校の課題でRubyを使ってインタプリタ形式のプログラミング言語をつくっています。

そこで変数宣言を正規表現でマッチさせたいのですが、
宣言に用いた文字列が予約語でもなく、数値でもなく、演算子などの記号でもなく、既に定義された変数でもない場合、という条件にマッチする正規表現がうまく書けません。

上手い正規表現はありますでしょうか？

現在、予約語と演算子はハッシュオブジェクトで管理して、変数は定義されたものは変数用のハッシュオブジェクトで管理しています。なので、予約語と演算子にマッチする正規表現は/#{keywords.keys.map{|t| Regexp.escape(t)}.join('|')}/といった形で記述しています。

この正規表現をうまく利用できると有り難いです。

よろしく御願いします。

言語仕様に関しては、
var hoge = 1
といったように[宣言の予約語, 変数名, 代入演算子, リテラル]といった並びになります。

Answer 1

形式言語論は習っていますよね。

まず、基本として、正規表現では、正規言語でかけない文法を受理することはできません。つまり、そのプログラム言語が文脈自由文法でしか、かけない言語であれば、そのような正規表現を書くことはできません。

正規表現ではなく、字句解析器を使うと良いでしょう。

字句解析:Wikipedia

Racc - Rubyで書かれた構文解析器

Comments

[femto6]

説明が足らず申し訳ありません。

字句解析を行う段階で条件を満たす文字列を、新しい変数としてトークンを配列にいれる。
といった処理を行おうと思い、正規表現でその条件を記述しようとしていました。

[MasashiKimura]

LL法を実装したほうが簡単だと私は思います。
https://ja.wikipedia.org/wiki/LL%E6%B3%95
もちろん課題の言語が、LL法で受理できる文脈自由文法のサブセットであればです。

Answer 2

名前の形のもの全てを正規表現で抜き取って、それがハッシュに無いことという考え方がいいと思います。
１つの正規表現だけで何とかしようという考えはあまり良くないです。