JPH04145534A - 属性文法規則解析システム - Google Patents
属性文法規則解析システムInfo
- Publication number
- JPH04145534A JPH04145534A JP26890790A JP26890790A JPH04145534A JP H04145534 A JPH04145534 A JP H04145534A JP 26890790 A JP26890790 A JP 26890790A JP 26890790 A JP26890790 A JP 26890790A JP H04145534 A JPH04145534 A JP H04145534A
- Authority
- JP
- Japan
- Prior art keywords
- attribute
- rule
- contents
- syntax
- rules
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000004458 analytical method Methods 0.000 claims abstract description 15
- 238000010586 diagram Methods 0.000 description 8
- 101100065896 Dictyostelium discoideum expl3 gene Proteins 0.000 description 3
- 235000000434 Melocanna baccifera Nutrition 0.000 description 3
- 241001497770 Melocanna baccifera Species 0.000 description 3
- 230000006870 function Effects 0.000 description 3
- 230000009466 transformation Effects 0.000 description 3
- 101100065895 Dictyostelium discoideum expl2 gene Proteins 0.000 description 2
- 230000001131 transforming effect Effects 0.000 description 2
- 230000000694 effects Effects 0.000 description 1
Landscapes
- Devices For Executing Special Programs (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
〔産業上の利用分野〕
本発明は属性文法の構文規則と意味規則を解析するシス
テムに関し、特に構文規則と意味規則の表現形式に関す
る。
テムに関し、特に構文規則と意味規則の表現形式に関す
る。
従来、属性文法解析システムでは、読込んだ構文規則と
意味規則の内容を属性文法解析システムを記述している
プログラミング言語のデータ構造に変換しており、構文
規則と意味規則に対する解析を属性文法解析システムを
記述しているプログラミング言語のデータ構造に対する
演算によって記述している。
意味規則の内容を属性文法解析システムを記述している
プログラミング言語のデータ構造に変換しており、構文
規則と意味規則に対する解析を属性文法解析システムを
記述しているプログラミング言語のデータ構造に対する
演算によって記述している。
しかるに構文規則と意味規則に対する解析は、構文規則
と意味規則の要素の集合に関する演算として表現される
ものがほとんどであるにもかかわらず、集合というデー
タ構造はプログラミング言語の基本的なデータ構造では
ないので、解析の内容をデータ構造に関する演算を使用
して表現する必要があり、解析の内容をデータ構造に関
する演算を使用して表現する際に誤りが発生しやすかっ
た。
と意味規則の要素の集合に関する演算として表現される
ものがほとんどであるにもかかわらず、集合というデー
タ構造はプログラミング言語の基本的なデータ構造では
ないので、解析の内容をデータ構造に関する演算を使用
して表現する必要があり、解析の内容をデータ構造に関
する演算を使用して表現する際に誤りが発生しやすかっ
た。
本発明の属性文法規則解析システムは、与えられた属性
文法規則を読込んで、その内容をネットワークモデル形
式に変形し、前記ネットワークモデル形式で表現された
前記属性文法規則の内容を記憶し、与えられた前記属性
文法に対する各種の解析をネットワークモデルとして統
一的に表現するようにして構成される。
文法規則を読込んで、その内容をネットワークモデル形
式に変形し、前記ネットワークモデル形式で表現された
前記属性文法規則の内容を記憶し、与えられた前記属性
文法に対する各種の解析をネットワークモデルとして統
一的に表現するようにして構成される。
次に、本発明の実施例について説明する。
第１図は本発明の一実施例を示すブロック図、第２図は
構文規則と意味規則の内容の表現形式を表した説明図、
第３図は構文規則と意味規則の例を示す説明図、第４図
は第３図の構文規則と意味規則をネットワーク形式で表
現した説明図である。
構文規則と意味規則の内容の表現形式を表した説明図、
第３図は構文規則と意味規則の例を示す説明図、第４図
は第３図の構文規則と意味規則をネットワーク形式で表
現した説明図である。
第１図において、１は属性規則読込部、２は属性規則変
形部、３は属性規則記憶部である。属性規則読込部１は
与えられた属性文法の構文規則と意味規則を読込んで属
性規則変形部２に渡す。属性規則変形部２は属性規則読
込部１から渡された内容をネットワークモデルの形式に
変形して表現し属性規則記憶部３に渡す。
形部、３は属性規則記憶部である。属性規則読込部１は
与えられた属性文法の構文規則と意味規則を読込んで属
性規則変形部２に渡す。属性規則変形部２は属性規則読
込部１から渡された内容をネットワークモデルの形式に
変形して表現し属性規則記憶部３に渡す。
第２図において、ＳｙｍｂＯｌは読込んだ構文規則に現
れる構文記号に対応するレコード、ＱＣｃｕｒｅｎｃｅ
は読込んだ構文規則に現れる構文規則の出現位置に対応
するレコード、ａｔｔｒ＋ｂｕｔｅは読込んだ構文規則
に現れるｏｃｃｕｒｅｎｃｅの属性に対応するレコード
、５ｙｎｒｕｌｅは読込んだ構文規則に対応するレコー
ド、ａｔｒ ｒｕｌｅは読込んだ属性規則に対応する
レコード、ｆｕｎｃ ｏｃｃｕｒは読込んだ属性規則
の各ａｔｔｒｉｂｕｔｅの値を現わす関数に対応するレ
コード、ｎｅｘｔは各ｏｃｃｕｒｅｎｃｅとそのすぐ右
にある０ＣＣｕｒｅｎＣｅを結ぶレコードタイプ、５ｏ
ｆｔは各ｏｃｃｕｒｅｎｃｅとその種類を表わすＳＹｍ
ｂＯｌを結ぶレコードタイプ、１ｅｆｔは各ｒｕｌｅと
その左辺にある０ＣＣｕｒｅｎＣｅを結ぶレコードタイ
プＮ ｔｏｐは各ｒｕｌｅとその右辺の最も左にあるｏ
ｃｃｕｒｅｎｃｅを結ぶレコードタイプ、ｖａｌは各ｆ
ｕｎｃ ｃｃｃｕｒとその返却値であるａｔｔｒｉｂ
ｕｔｅを結ぶレコードタイプ、ｆｕｎｃは各ａｔｒ
ｒｕｌｅをそこに現れる関数に対応するｆｕｎｃ ｏ
ｃｃｕｒを結ぶレコードタイプである。
れる構文記号に対応するレコード、ＱＣｃｕｒｅｎｃｅ
は読込んだ構文規則に現れる構文規則の出現位置に対応
するレコード、ａｔｔｒ＋ｂｕｔｅは読込んだ構文規則
に現れるｏｃｃｕｒｅｎｃｅの属性に対応するレコード
、５ｙｎｒｕｌｅは読込んだ構文規則に対応するレコー
ド、ａｔｒ ｒｕｌｅは読込んだ属性規則に対応する
レコード、ｆｕｎｃ ｏｃｃｕｒは読込んだ属性規則
の各ａｔｔｒｉｂｕｔｅの値を現わす関数に対応するレ
コード、ｎｅｘｔは各ｏｃｃｕｒｅｎｃｅとそのすぐ右
にある０ＣＣｕｒｅｎＣｅを結ぶレコードタイプ、５ｏ
ｆｔは各ｏｃｃｕｒｅｎｃｅとその種類を表わすＳＹｍ
ｂＯｌを結ぶレコードタイプ、１ｅｆｔは各ｒｕｌｅと
その左辺にある０ＣＣｕｒｅｎＣｅを結ぶレコードタイ
プＮ ｔｏｐは各ｒｕｌｅとその右辺の最も左にあるｏ
ｃｃｕｒｅｎｃｅを結ぶレコードタイプ、ｖａｌは各ｆ
ｕｎｃ ｃｃｃｕｒとその返却値であるａｔｔｒｉｂ
ｕｔｅを結ぶレコードタイプ、ｆｕｎｃは各ａｔｒ
ｒｕｌｅをそこに現れる関数に対応するｆｕｎｃ ｏ
ｃｃｕｒを結ぶレコードタイプである。
第３図の例は２つの構文規則（ｒ Ｌ ｒ ２）から
構成され、それぞれの構文規則は１つの意味規則（ａｌ
ｌ、ａ２１）を持っている。構文規則ｒ１ではＮ ｅ
ｘ ｅ ＋ Ｍ Ｕ Ｌという構文記号が現れる。ｒｌ
ではｅｘｐは左辺および右辺の左から１番目と３番目に
出現するので、ｒｌは３つのＱＣｃｕｒｅｎｃｅ（ｅｘ
ｐｌｌ、ｅｘｐｌ２．ｅｘｐｌ３）を持つ。またｅｘｐ
は属性ｖａｌを持ち、ａｌｌによりｅｘｐｌのｖａｌの
値はｅｘｐｌ２、ｖａｌとｅｘｐｌ３．ｖａｌの値から
ＭＵＬＴＩＰＬＹという関数のａｌｌにおけるｏｃｃｕ
ｒｅｎｃｅ （ＭＵＬＴＩＰＬＹＩ １）によって求め
られている。
構成され、それぞれの構文規則は１つの意味規則（ａｌ
ｌ、ａ２１）を持っている。構文規則ｒ１ではＮ ｅ
ｘ ｅ ＋ Ｍ Ｕ Ｌという構文記号が現れる。ｒｌ
ではｅｘｐは左辺および右辺の左から１番目と３番目に
出現するので、ｒｌは３つのＱＣｃｕｒｅｎｃｅ（ｅｘ
ｐｌｌ、ｅｘｐｌ２．ｅｘｐｌ３）を持つ。またｅｘｐ
は属性ｖａｌを持ち、ａｌｌによりｅｘｐｌのｖａｌの
値はｅｘｐｌ２、ｖａｌとｅｘｐｌ３．ｖａｌの値から
ＭＵＬＴＩＰＬＹという関数のａｌｌにおけるｏｃｃｕ
ｒｅｎｃｅ （ＭＵＬＴＩＰＬＹＩ １）によって求め
られている。
第４図は第３図の例のレコードタイプの内容を表したも
のである。例えば第２図では、ｒｌはＭＵＬＩはｅｘｐ
ｌ２の右にｅＸｐ１３はＭＵＬｌの右にありｒ２ではｅ
ｘｐ２２はＭＩＮＵＳ２の右にあるので、ｎｅｘｔとい
うｒｅｌａｔｉ。
のである。例えば第２図では、ｒｌはＭＵＬＩはｅｘｐ
ｌ２の右にｅＸｐ１３はＭＵＬｌの右にありｒ２ではｅ
ｘｐ２２はＭＩＮＵＳ２の右にあるので、ｎｅｘｔとい
うｒｅｌａｔｉ。
ｎはｅＸｐ１２とＭＵＬＩ、ＭＵＬＩとｅｘｐｌ３、Ｍ
ＩＮＵＳ２１とｅｘｐ２２の間に存在する。
ＩＮＵＳ２１とｅｘｐ２２の間に存在する。
以上、説明したように、本発明によれば、与えられた属
性文法の構文規則と意味規則の内容をネトワークモデル
の形式で表現する事により、構文規則と意味規則に対す
る解析（与えられた属性文法の構文規則と意味規則がＬ
属性かどうかなど）の内容を、解析内容の記述に使用さ
れている集合演算と同じ基本演算に変形してモデルに対
する演算を用いて統一的に記述できる。したがって構文
規則と意味規則に対する解析を従来のようにプログラミ
ング言語のデータ構造に関する演算に翻訳する必要がな
く、かつ誤りを少なく実行する事が可能になる。
性文法の構文規則と意味規則の内容をネトワークモデル
の形式で表現する事により、構文規則と意味規則に対す
る解析（与えられた属性文法の構文規則と意味規則がＬ
属性かどうかなど）の内容を、解析内容の記述に使用さ
れている集合演算と同じ基本演算に変形してモデルに対
する演算を用いて統一的に記述できる。したがって構文
規則と意味規則に対する解析を従来のようにプログラミ
ング言語のデータ構造に関する演算に翻訳する必要がな
く、かつ誤りを少なく実行する事が可能になる。
第１図は本発明の一実施例を示すブロック図、第２図は
属性規則の内容の表現形式を示す説明図、第３図は構文
規則と意味規則の例を示す説明図、第４図（ａ）〜（ｉ
）は第３図の構文規則と意味規則をネットワーク形式で
表現した説明図である。 １・・・属性規則読込部、２・・・属性規則変形部、３
・・・属性規則記憶部。
属性規則の内容の表現形式を示す説明図、第３図は構文
規則と意味規則の例を示す説明図、第４図（ａ）〜（ｉ
）は第３図の構文規則と意味規則をネットワーク形式で
表現した説明図である。 １・・・属性規則読込部、２・・・属性規則変形部、３
・・・属性規則記憶部。
Claims (1)
- 与えられた属性文法規則を読込んで、その内容をネット
ワークモデル形式に変形し、前記ネットワークモデル形
式で表現された前記属性文法規則の内容を記憶し、与え
られた前記属性文法に対する各種の解析をネットワーク
モデルとして統一的に表現することを特徴とする属性文
法規則解析システム。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP26890790A JPH04145534A (ja) | 1990-10-05 | 1990-10-05 | 属性文法規則解析システム |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| JP26890790A JPH04145534A (ja) | 1990-10-05 | 1990-10-05 | 属性文法規則解析システム |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH04145534A true JPH04145534A (ja) | 1992-05-19 |
Family
ID=17464927
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP26890790A Pending JPH04145534A (ja) | 1990-10-05 | 1990-10-05 | 属性文法規則解析システム |
Country Status (1)
| Country | Link |
|---|---|
| JP (1) | JPH04145534A (ja) |
-
1990
- 1990-10-05 JP JP26890790A patent/JPH04145534A/ja active Pending
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5355493A (en) | System for encoding units of entity/relationship data to include prefixes with codes for length, action, and unit identifier | |
| US7992088B2 (en) | Method and system for copy and paste technology for stylesheet editing | |
| US5548508A (en) | Machine translation apparatus for translating document with tag | |
| US7694284B2 (en) | Shareable, bidirectional mechanism for conversion between object model and XML | |
| EP1313032A1 (en) | Document conversion | |
| US20070136698A1 (en) | Method, system and apparatus for a parser for use in the processing of structured documents | |
| JPH0630066B2 (ja) | テーブル型言語翻訳方法 | |
| US6922704B2 (en) | Method for generating application specific input files | |
| Abbott et al. | Objectives of OpenMath | |
| JPH04145534A (ja) | 属性文法規則解析システム | |
| US20070028164A1 (en) | Computer readable storage medium and document processing method | |
| US9047325B2 (en) | Modularizing complex XML data for generation and extraction | |
| JPH03260766A (ja) | 括弧生成判定機能付翻訳装置 | |
| US7617089B2 (en) | Method and apparatus for compiling two-level morphology rules | |
| JPH0335325A (ja) | 構文規則解析システム | |
| JPH04153834A (ja) | 属性文法規則解析システム | |
| US7349916B2 (en) | Information organization using markup languages | |
| Ramalho et al. | Algebraic specification of documents | |
| KR100283023B1 (ko) | 텍스트 사전 관리시스템에서의 표준 사전 편집 및 파일 처리 방법 | |
| JPH06202824A (ja) | ページ記述言語処理装置 | |
| Roche | Smaller representations for finite-state transducers and finite-state automata | |
| Nelder et al. | Input/output in statistical programming | |
| KR970056198A (ko) | 교환시스템의 데이타베이스 생성 방법 | |
| JPH01217630A (ja) | Ｆｏｒｔｒａｎ言語における書式なし記録の入出力方式 | |
| JPH0689183A (ja) | インタプリタ処理方式 |