A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS - Collections

＜journal article＞
A SYMBOLIC CALCULUS OF REGULAR EXPRESSIONS

Creator	Author PID K002201 Creator Name Mizoguchi, Yoshihiro 溝口, 佳寛 Affiliation Affiliation Name Department of Mathematics, Kyushu University 九州大学数学科
	Creator Name Otsuka, Hiroshi 大塚, 寛 Affiliation Affiliation Name Department of Mathematics, Kyushu University 九州大学数学科
	Creator Name Kawahara, Yasuo 河原, 康雄 Affiliation Affiliation Name Department of Mathematics, Kyushu University 九州大学数学科
Language	English
Publisher	Research Association of Statistical Sciences
Publisher	統計科学研究会
Date	1987-03
Source Title	Bulletin of informatics and cybernetics
Vol	22
Issue	3/4
First Page	165
Last Page	170
Publication Type	Version of Record
Access Rights	open access
Crossref DOI	https://doi.org/10.5109/13383
Related DOI	Bulletin of informatics and cybernetics \|\| 22(3/4) \|\| p165-170
Related DOI	http://bic.math.kyushu-u.ac.jp/
Related URI	Bulletin of informatics and cybernetics \|\| 22(3/4) \|\| p165-170
Related URI	http://bic.math.kyushu-u.ac.jp/
Relation	Bulletin of informatics and cybernetics \|\| 22(3/4) \|\| p165-170
Relation	http://bic.math.kyushu-u.ac.jp/
Abstract	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.show more

File	FileType	Size	Views	Description
p165	pdf	278 KB	372