Formal languages, machine learning, Bayesian probability, information theory, regularization, evaluation and modeling of sensor exploitation systems, Boltzmann machines