著者
高浪 五男 本多 波雄
出版者
The Institute of Electronics, Information and Communication Engineers
雑誌
電子情報通信学会論文誌 C (ISSN:03736113)
巻号頁・発行日
vol.J54-C, no.3, pp.250-256, 1971-03-25

有限確定事象を拡張して,準有限確定事象と呼ぶ事象のクラスを定義する.まず,この事象のクラスの閉包的性質(closure property)を論ずる.つぎに,与えられたオートマトンが準有限確定事象を受理するオートマトン(準有限確定オートマトン)であるか否かを判定する方法と,準有限確定オートマトンが受理する語の集合の定められた形の正規表現を求める方法とを述べる.ついで,準有限確定事象の唯一な標準形を求める方法を与える.