中央研究院 資訊科學研究所

活動訊息

友善列印

列印可使用瀏覽器提供的(Ctrl+P)功能

學術演講

:::

An Introduction to Coalgebras in Computer Science

  • 講者陳亮廷 博士 (University of Hawaii at Mānoa)
    邀請人:廖純中
  • 時間2017-01-04 (Wed.) 15:30 – 17:30
  • 地點資訊所新館107演講廳
摘要

State-based systems can often be modelled as coalgebras in terms of category theory such as streams, finite and infinite trees, (non)deterministic state machines, Kripke frames/models, Markov chains, Markov processes, Segala systems, alternating systems, to name but a few. Recently, this notion has been used in unifying different notions and results, e.g., Eilenberg's theorem on varieties of languages and Brzozowski's minimization algorithm. In this talk, I will give a glimpse of coalgebras in theoretical computer science with a crash course of basic category theory.