On March 27, 2025 at 14:00 EET, Cezar Câmpeanu (University of Prince Edward Island) will give a talk in the Logic Seminar.
Title: Distinguishability Operation, Properties and Perspectives
Abstract:
The distinguishability operation was formally introduced by C. Câmpeanu, N. Moreira, and R. Reis in a paper presented in Kassel, Germany, at NCMA 2014. However, distinguishing between words and states was also considered in some informal way in a paper by E. F. Moore in 1959. This approach has inspired defining a new distinguishability operation in 2024, a result published in the Theoretical Computer Science Journal. In this talk, the historical perspective of this operation will be presented, including future developments, its properties, and the state complexity of this operation on regular languages.
The talk will take place physically at FMI (Academiei 14), Hall 214 “Google”.