A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS - 九大コレクション

＜学術雑誌論文＞
A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS

作成者	著者識別子 K002201 作成者名 Mizoguchi, Yoshihiro 溝口, 佳寛所属機関所属機関名 Department of Mathematics, Kyushu University 九州大学数学科
	作成者名 Otsuka, Hiroshi 大塚, 寛所属機関所属機関名 Department of Mathematics, Kyushu University 九州大学数学科
	作成者名 Kawahara, Yasuo 河原, 康雄所属機関所属機関名 Department of Mathematics, Kyushu University 九州大学数学科
本文言語	英語
出版者	Research Association of Statistical Sciences
出版者	統計科学研究会
発行日	1987-03
収録物名	Bulletin of informatics and cybernetics
巻	22
号	3/4
開始ページ	165
終了ページ	170
出版タイプ	Version of Record
アクセス権	open access
Crossref DOI	https://doi.org/10.5109/13383
関連DOI	Bulletin of informatics and cybernetics \|\| 22(3/4) \|\| p165-170
関連DOI	http://bic.math.kyushu-u.ac.jp/
関連URI	Bulletin of informatics and cybernetics \|\| 22(3/4) \|\| p165-170
関連URI	http://bic.math.kyushu-u.ac.jp/
関連情報	Bulletin of informatics and cybernetics \|\| 22(3/4) \|\| p165-170
関連情報	http://bic.math.kyushu-u.ac.jp/
概要	To implement Ginzburg's equality check procedure for regular expressions by using personal computers, we propose a new and more efficient axiom system consisting of an axiom and inference rules concer...ning a new relational symbol $ subset $ in addition to a part of Salomaa's axiom system.続きを見る

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
p165	pdf	278 KB	359