Search


Volume

Author

Year

  • < Previous
  • 1
  • Next >
3 results

Stream Differential Equations: Specification Formats and Solution Methods

Helle Hvid Hansen ; Clemens Kupke ; Jan Rutten.
Streams, or infinite sequences, are infinite objects of a very simple type, yet they have a rich theory partly due to their ubiquity in mathematics and computer science. Stream differential equations are a coinductive method for specifying streams and stream operations, and their theory has been&nbsp;[&hellip;]
Published on February 3, 2017
Volume 13, Issue 1

Generalizing determinization from automata to coalgebras

Alexandra Silva ; Filippo Bonchi ; Marcello Bonsangue ; Jan Rutten.
The powerset construction is a standard method for converting a nondeterministic automaton into a deterministic one recognizing the same language. In this paper, we lift the powerset construction from automata to the more general framework of coalgebras with structured state spaces. Coalgebra is an&nbsp;[&hellip;]
Published on March 4, 2013
Volume 9, Issue 1

Coalgebraic Characterizations of Context-Free Languages

Joost Winter ; Jan J. M. Rutten ; Marcello M. Bonsangue.
In this article, we provide three coalgebraic characterizations of the class of context-free languages, each based on the idea of adding coalgebraic structure to an existing algebraic structure by specifying output-derivative pairs. Final coalgebra semantics then gives an interpretation function&nbsp;[&hellip;]
Published on September 13, 2013
Volume 9, Issue 3
  • < Previous
  • 1
  • Next >