COGS 501 - Formal Languages and Linguistics - Fall 2016

This is NOT the current version of the course; please visit here for Spring 2017

Short description: The course is an introduction to two foundational concepts in cognitive science: structural representations and computation. As empirical domain, we look at increasingly complex structural representations from morphology and syntax of natural languages. We couple this with an introduction to the theory of computation. We aim to establish that (i) human language capacity is (based on) a computationally describable unconscious system of rules and representations; (ii) that there are mathematically precise ways of talking about different types of structural relations; and (iii) that bringing these two together opens up new avenues in the cognitive scientific investigation of language.

Instructor: Umut Özge, umozge@metu.edu.tr
Room B-208, phone: 210 7884, 0530 142 6850
Office hours are by appointment - call or drop an email.

Teaching assistant: Ece K. Takmaz, etakmaz@metu.edu.tr

News and discussion: in class and the Google group of the course.

Time and place: Fridays, 14:40-17:30, II-03 (last class on Jan 6, 2017).

Material:

Notes:

Lecture Note Supplementary Material
General Introduction Pinker's Language Acquisition chapter (see newsgroup).
Morphology
Regular languages
Finite Automata Partee et al. Chapter 17
Syntax
Context-free grammars

Problem sets:

ps01 ps01-solutions
ps02 ps02-solutions
ps03 ps03-solutions
ps04 ps04-solutions

Quizzes:

04/11 q01
18/11 q02
02/12 q03
16/12 q04
30/12 q05
06/01 q06

Reference:

Tallerman, M. (2011). Understanding Syntax. Hodder Education, Croydon, UK.
Payne, T. (2006). Exploring Language Structure: A Student's Guide. Cambridge University Press.
Sudkamp, T. A. (1997). Languages and Machines: An Introduction to the Theory of Computer Science. Addison-Wesley, Reading, MA, 2nd edition edition.
Partee, B. H., ter Meulen, A., and Wall, R. E. (1990). Mathematical Methods in Linguistics. Kluwer, Dodrecht.

Resources:

Some graph visualization tools for drawing finite automata:

Graphviz
Qfsm
Finite state machine designer