>某講義でTAやってて、だいたい今はDFAとかNFAとかいったことをやっているわけですが、これ聞くたびにもりもり湧いてくる疑問のひとつが「オートマトンの状態ってなんで q なんだ？」というもの。その講義で利用している教科書には「普通qで表す」とかいう風にしか書いてないのでわからない。
>
>何かの略なのかそうでないのか。そうでないとしたら何故 q なのか。
>
>そういえば、λ項も「一般に大文字として(変数と)区別する」という規則は本に書いてあるものの、選ばれる文字はもっぱら M とか N とかである理由は特に説明されない。というかそもそも、「なぜその文字なんですか」という疑問には答えがないものかもしれない。だいいち未知数に xyz あたりを割りふるとか定数には abc あたりを割りふる、というのにも別に意味はなく、「そのようにするべし」という規約があるだけで、根拠はたぶん historical reason であるわけで。
>
>けっきょく最初に論文を発表した人がその文字を使ったからその辺の文字が使われる、とかいった理由なのかなあ。でその著者がその文字を使ったのは何故かというと、abc…とか xyz とかは他の用途にとっておくので、真ん中あたりのかぶらない文字を選ぶ、とかいった曖昧な基準だったりするのかも。そういった、割と根拠のない「なんとなく」な理由な気がする。
>
>とはいえ、何か根拠があるなら教えていただきたいです。
>
