Level of Study
Place of Instruction
Objectives and Content
This course treats the formal foundations for the description of language and computational methods for processing language. The aim is to enable students to think in a mathematically precise way when characterizing a language, and to use computer tools to process written language.
The course gives an introduction to formal methods in linguistics. It also gives an introduction in digital encoding of text, in electronic language resources (in particular, corpora), in language processing and in language technology applications. This course is targeted at students in linguistics, language studies, computer science, information science, artificial intelligence and cognitive science.
Upon successful completion of the course, the student will be able to:
- explain basic formal methods that are used in research and development of syntax, semantics and natural language processing, e.g. graphs and trees, automata, formal grammars, language classification in the Chomsky hierarchy, algorithms and complexity;
- explain important thinking about automata, grammars and formal languages, e.g. the pumping lemma;
- write simple correct programs for manipulating textual data;
- write regular expressions for search and replacement in text;
- extract information from text on the world wide web;
- use induction as a proof method;
- use correct mathematical formulas:
- use text corpora as empirical material;
- assess text on the world wide web as data;
Required Previous Knowledge
Recommended Previous Knowledge
EXFAC00SK or equivalent.
Credit Reduction due to Course Overlap
MNF130 10 credits, DASP107 5 credits, DASP130 10 credits.
Access to the Course
This course is open to all who have been accepted as students at the University of Bergen.
Teaching and learning methods
Lectures (about 26 hours per semester), individual study and exercises.
If fewer than five students are registered to a course, the department might reduce the teaching, please see the department's guidelines regarding this on "Mitt UiB". For courses where this is a possibility, the students get information about this at the beginning of the semester, and before the deadline regarding semester registration February 1 / September 1.
Compulsory Assignments and Attendance
The candidate must hand in two obligatory assignments, which must be carried out and approved in the semester of teaching. Obligatory learning activities must be approved before one can take the exam in the course. Approval remains valid for three semesters in total, including the semester of teaching.
Forms of Assessment
Digital 5-hour written exam.
Examination Support Material
All aids are allowed.
Spring. There is also an exam early in the fall semester for students with valid and approved obligatory assignments.
The literature consists mainly of descriptions of formal and computational methods, including guidelines for and examples of programming, about 400 pages.
Evaluation of the offered course will be carried out in accordance with the University of Bergen's quality assessment system.
For written exams, please note that the start time may change from 09:00 to 15:00 or vice versa until 14 days prior to the exam.
Type of assessment: Written examination at home
- 28.09.2021, 09:00
- 5 hours
- Withdrawal deadline
- Examination system
- Digital exam