コンピュータ ソフトウェア
Print ISSN : 0289-6540
言語の測度に基づく非正規性の証明技法
新屋 良磨
著者情報
ジャーナル フリー

34 巻 (2017) 1 号 p. 1_119-1_124

詳細
PDFをダウンロード (320K) 発行機関連絡先
抄録

与えられた言語が非正規であることの証明技法として,ポンピング補題や右同値類の有限性 (Myhill-Nerodeの定理) などの手法が有用であることが広く知られている.本論文ではこれらの手法とは全く異なる新しい非正規性の証明技法を提案する.いくつかの例題を通じて提案手法の新規性・有用性を議論し,さらに提案手法の課題についても具体的に述べる.提案技法は言語の測度に基づくものであり,「与えられた言語Lがほとんど空(測度が0)である」という直観的な性質を非正規性の証明に用いる.

著者関連情報
© 2017 日本ソフトウェア科学会
前の記事

閲覧履歴
feedback
Top