質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.50%
再帰

情報工学における再帰とは、プログラムのあるメソッドの処理上で自身のメソッドが再び呼び出されている処理の事をいいます。

Q&A

解決済

1回答

1224閲覧

再帰データ型について

_._._ami

総合スコア26

再帰

情報工学における再帰とは、プログラムのあるメソッドの処理上で自身のメソッドが再び呼び出されている処理の事をいいます。

0グッド

1クリップ

投稿2019/12/02 01:04

どういう意味ですか( ; ; )

アルファベットの集合Aの再帰データ型A*は以下のように定義される。

基礎ケース
A*は空の文字λを含む

構成ケース
a ∈ A,s ∈ A* ならば ペア<a,s>∈ A*

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

ozwk

2019/12/02 01:25

そのまんまの意味ですとしか答えにくいので 何がわからないのか/納得いかないのかを書くといいかと。
_._._ami

2019/12/02 23:55

すみません、初めて利用したので認識不足でした。次回から気をつけます。ご指摘ありがとうございました!
guest

回答1

0

ベストアンサー

再帰的(recursive)な定義というのは、起点となるものの定義(質問の場合は、基礎ケース「Aは空の文字λを含む」)と、それを拡張させていく方法の定義(質問の場合は、構成ケース「a ∈ A,s ∈ A ならば ペア<a,s>∈ A*」)で構成されます。

仮に、アルファベットの集合Aが、3つのアルファベット'A','B','C'を含むとします。
それを['A','B','C']というように表すことにします。

そうすると、
・λだけを含む集合Aは、集合Aの再帰データ型です(基礎ケース): Aは[λ]と表せます。

・それに、’A'を加えた集合 [λ,'A']には、ペア <λ,'A'>が含まれます(構成ケース)。
・さらに、’B'を加えた集合 [λ,'A','B']には、ペア <λ,'A'>と<λ,'B'>と<'A','B'>と<λ,'A','B'>とが含まれます。
というように再帰データ型A*は拡張・再構成され得て、
[λ]
[λ,'A']
[λ,'B']
[λ,'C']
[λ,'A','B']
[λ,'A','C']
[λ,'B','C']
[λ,'A','B','C']
のいずれかになり得ます。

投稿2019/12/02 02:21

coco_bauer

総合スコア6915

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

_._._ami

2019/12/02 23:54

ありがとうございました!
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.50%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問