以下のサイトがわかりやすい。
プログラマなら知っておいたほうが良い。
因みに「応用情報技術者試験(AP)」の範囲でもある。
■オートマトンの基礎
http://www1.adachi.ne.jp/katz/primer/automata.html
■川渡り問題
http://ja.wikipedia.org/wiki/%E5%B7%9D%E6%B8%A1%E3%82%8A%E5%95%8F%E9%A1%8C
■3人の宣教師と3人の土人
http://www.umechando.com/playroom/04.htm