Formal language learning models have been widely investigated in the last four decades. But it was not until recently that the model of learning from corrections was introduced. The aim of this paper is to make a further step towards the understanding of the classes of languages learnable with correction queries. We characterize these classes in terms of triples of definite finite tell-tales. T...

A hypothesis about what is the principal cognitive precondition of successful systematic acquainting children with computers is put forward. For this, the notion of the Thought-Producing Self of the child is introduced. It is stated that the System of Emotional-Imaginative Teaching (EIT-system) based on the Theory of Dynamic Conceptual Mappings allows for realizing the Thought-Producing Self of...

i Acknowledgements I want to thank my advisor, Dr. Jeff Dupree, for providing me with knowledge and advice over the past two years, and for helping me learn what it means to be a researcher. He always urged me to learn more and move forward with a clear hypothesis in mind. His guidance was instrumental in completing my project and I cannot thank him enough for everything he has done for me. I w...

with a young lad on its back. In his right hand, each rider held a long spear that he raised just before attempting to catch a ring suspended over his head with its tip. I was only a child visiting my cousins in the countryside, but I remember the event vividly, and later on I would realize that I was witnessing an ancient tradition upheld through generations since the early Middle Ages. The on...