relation: http://eprints.imtlucca.it/319/
title: Nondeterministic regular expressions as solutions of equational systems
creator: De Nicola, Rocco
creator: Labella, Anna
subject: QA75 Electronic computers. Computer science
description: We define the class of the linear systems whose solution is expressible as a tuple of nondeterministic regular expressions when they are interpreted as trees of actions rather than as sets of sequences. We precisely characterize those systems that have a regular expression as "canonical" solution, and show that any regular expression can be obtained as a canonical solution of a system of the defined class.
publisher: Elsevier
date: 2003
type: Article
type: PeerReviewed
identifier:   De Nicola, Rocco and Labella, Anna  Nondeterministic regular expressions as solutions of equational systems.  Theoretical Computer Science, 302 (1-3).  pp. 179-189.  ISSN 0304-3975      (2003)  
relation: http://www.sciencedirect.com/science/article/pii/S0304397502007740
relation: 10.1016/S0304-3975(02)00774-0