I'm just reading Yde Venema's Lectures on the modal μ-calculus and it's quite interesting but all those automata, like the Büchi automaton, the Muller automaton or the Parity automaton and their variants (think streams, trees, flows, biflows, nondeterministic, alternating, logical, etc.) make me feel dizzy sometimes. I really like the coalgebraic approach, universal coalgebra seems to be a nice thing, but I don't know that many things about it yet, so I will read Rutten's paper Universal coalgebra: a theory of systems when I find some time for it.
By the way (for those who are interested), there's also a thing called universal algebra and this is really nice theory (which I can tell you because I know some things about it). There's an excellent free book on this topic, namely A Course in Universal Algebra by Burris and Sankappanavar.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment