2007年度前期、情報基礎数理IV(藤原）
<br>
<br>
レポートの課題
<br>
<br>
１。前回のレポート課題は、
二元生成の自由群Fの
標準的な生成元集合についての既約な語全体を受理言語
にするfinite stateオートマトンの構成であった。
<br>
このレポートには不完全なものが多かった。
もし自分のレポートが不完全であったと思う人は、
どこが良くなかったか答えたうえで正しい答えも述べよ。
正しい解答をしたと思うものは、そういえばよい。
<br>
<br>
２。無限巡回群Zの標準的な生成元集合　{1,-1} に
ついて、そのcone typeをすべて求め、それを使って
この生成元集合についての測地線全体を受理言語にする
オートマトンを作れ。
<br>
<br>
３．Zの標準的でない生成元集合Sを一つ自分で考え、
（ただしSは対称）
それについて上の２と同じことに答えよ。