This is the latex document for my masters thesis on formal learning theory