Where Theoretical Linguistics, Computer Science, Applied Linguistics, and Second Langaue Acquisition meet.