Create pdia.md

This is a WebChurch implementation of the model in this paper: http://papers.nips.cc/paper/4161-probabilistic-deterministic-infinite-automata.pdf