Hostname: page-component-586b7cd67f-2plfb Total loading time: 0 Render date: 2024-11-25T10:41:07.418Z Has data issue: false hasContentIssue false
  • English
  • Français

Minimal realization in bicategories of automata

Published online by Cambridge University Press:  01 April 1998

ROBERT ROSEBRUGH ,
N. SABADINI  and
R. F. C. WALTERS
ROBERT ROSEBRUGH
Affiliation:
Department of Mathematics and Computer Science, Mount Allison University, Sackville, N. B. E0A 3C0 Canada
N. SABADINI
Affiliation:
Dipartimento di Scienze dell'Informazione, Università di Milano, 30135 Milano, Italy
R. F. C. WALTERS
Affiliation:
School of Mathematics and Statistics, University of Sydney, Sydney, NSW 2006 Australia
Get access Rights & Permissions [Opens in a new window]

Abstract

The context of this article is the programme to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The objective here is to study reachability, minimization and minimal realization in these bicategories. In this setting the automata are 1-cells, in contrast with previous studies where they appeared as objects. As a consequence, we are able to study the relation of minimization and minimal realization to serial composition of automata using (co)lax (co)monads. We are led to define suitable behaviour categories and prove minimal realization theorems that extend classical results.

Type
Research Article
Information
Mathematical Structures in Computer Science , Volume 8 , Issue 2 , April 1998 , pp. 93 - 116
Copyright
1998 Cambridge University Press

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

This work has been supported by NSERC Canada, Italian MURST and the Australian Research Council.