OKAWA Satoshi

大川 知

English

大川, 知

2532

オオカワ, サトシ

OKAWA, Satoshi

Hachinohe Institute of Technology Repository / 八戸工業大学学術リポジトリ

帰納的に可算な言語の線形言語の吉臣分クラスによる特性化大  川    知A Homomorphic Characterization of RecursivelyEnumerable Languages by Subclasses ofLinear Context―Free LanguagesSatoshi OKAWAAbstractWVe give a homomorphic characterization of the class of recursively enumerable languages:any recursively enumerable language is the homomOrphic image of the intersection of a minilnallinear language and a(1, 1)―l gu ge 、vhere a minimal linear language is delined by the lineargraHllnar、vith the only one non―terminal symbol and a(1,1)―language is deined by the lineargrammar having nOn terminal productions with the from of 4→αlβα2,l αll=l α2=11.はじ め に言語理論の大きな課題の1つである言語のクラスの特性化について,準同型写像を用いることによって小さな言語のクラスで大きな言語のクラスを特性化する研究がなされている。この種の結果として古くは,帰納的に可算な言語のクラスに対して,2つの決定性言語の共通部分の準同型写像による像312つの線形言語の共通部分の準同型写像による像1上 などの結果があり,文脈自由言語のクラスに対しては,Dyck言語と正規言語との共通部分の準同型写像による像2,7)とぃぅ結果が知られている。最近では,後者に対して,Dyck言語と極小線形正規言語 との共通部分の準同型写像による像0という結果が得られている。また,前者に対しては,Dyck言語と極小線形言語との共通部分の準同型写像による像9,線形言語の真の部分クラスである右長線形,同長線形,左長線形言語のクラスを平成2年10月8日受理事電気工学科・助教授用いた特性化。I(1,2)言語と(1,1)極小線形言語 との共通部分の準同型写像による像10)という結果も得られている。本稿では,帰納的に可算な言語のクラスをより小さな言語のクラスで特性化することを目的として,まず初めに,線形言語の真の部分クラスである(ゲ,デ)言語8Ⅲ 極小線形言語つのクラスについて述べ,いくつかの性質を示す。それから,極小線形言語と(1,1)言語との共通部分の準同型写像による像によって帰納的に可算な言語のクラスが特性化できることを示す。2.諸定義と極小線形言語の性質本節では,本稿で扱う主要な文法,言語などの定義を与え,基本的な性質について述べるが,ここに定義されていない事項については,文献(11)などを参照されたい。[定義1]句構造文法 (phrase structuregrammar)とは, G=〈7,Σ,P,S〉である。―- 69 -―

A Homomorphic Characterization of Recursively Enumerable Languages by Subclasses of Linear Context-Free Languages

https://hi-tech.repo.nii.ac.jp/?action=repository_action_common_download&item_id=1916&item_no=1&attribute_id=22&file_no=1

帰納的に可算な言語の線形言語の部分クラスによる特性化

帰納的に可算な言語の線形言語の部分クラスによる特性化

Abstract

Similar works

Full text

Available Versions

Hachinohe Institute of Technology Repository / 八戸工業大学学術リポジトリ