Toward a Formal Macroset Theory

  • Authors:
  • Manfred Kudlek;Carlos Martin-Vide;Gheorghe Paun

  • Affiliations:
  • -;-;-

  • Venue:
  • WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
  • Year:
  • 2000

Quantified Score

Hi-index 0.02

Visualization

Abstract

A macroset is a (finite or infinite) set of multisets over a finite alphabet. We introduce a Chomsky-like hierarchy of multiset rewriting devices which, therefore, generate macrosets. Some results are proved about the power of these devices and some open problems are formulated. We also present an algebraic characterization of some of the macroset families as least fixed point solutions of algebraic systems of equations.