Department Seminar Series
Separability problem
9th February 2016, 13:00
Ashton Lecture Theater
Dr Wojciech Czerwinski
University of Warsaw
Abstract
We say that language S separates languages K and L if S includes K, but has an empty intersection with L. Separability problem asks for two given languages from some family F1 whether there exists a language from a smaller family F2, which separates them.
I will sketch ideas behind some results concerning separability problem.
Maintained by Othon Michail