Clearing Restarting Automata and Grammatical Inference Grammatical Inference of Lambda-Confluent Context Rewriting Systems Peter Černo Department of Computer Science Charles…