BEGIN:VCALENDAR
VERSION:2.0
PRODID:researchseminars.org
CALSCALE:GREGORIAN
X-WR-CALNAME:researchseminars.org
BEGIN:VEVENT
SUMMARY:Ryoma Sin'ya (Akita University)
DTSTART:20200930T140000Z
DTEND:20200930T150000Z
DTSTAMP:20260423T021124Z
UID:OWLS/6
DESCRIPTION:Title: <a href="https://researchseminars.org/talk/OWLS/6/">Asy
 mptotic Approximation by Regular Languages (YR-OWLS)</a>\nby Ryoma Sin'ya 
 (Akita University) as part of Online Worldwide Seminar on Logic and Semant
 ics (OWLS)\n\n\nAbstract\nIn this talk we will introduce a new property of
  formal languages called REG-measurability where REG is the class of regul
 ar languages. Intuitively\, a language L is REG-measurable if there exists
  an infinite sequence of regular languages that ``converges'' to L. A lang
 uage without REG-measurability has a complex shape in some sense so that i
 t can not be approximated by regular languages.\n\nThe motivation\, why we
  have been interested in REG-measurability\, originally came from the foll
 owing conjecture posed by [Dömösi-Horvath-Ito 1991]: the set of all prim
 itive words over a non-singleton alphabet is not context-free.\n\nWe will 
 describe that several context-free languages are REG-measurable (including
  languages with transcendental generating function and transcendental dens
 ity\, in particular)\, while a certain simple deterministic context-free l
 anguage and the set of primitive words are REG-immeasurable in a strong se
 nse. We will also discuss some open problems and future work.\nThis talk i
 s based on the following work: http://www.math.akita-u.ac.jp/~ryoma/misc/m
 easure.pdf\n
LOCATION:https://researchseminars.org/talk/OWLS/6/
END:VEVENT
END:VCALENDAR