Forbidding and enforcing in membrane computing

摘要: Motivated by biochemistry and the non-deterministic reactions between molecules, authors in (Ehrenfeucht Rozenberg, 2003) introduced concept of forbidding-enforcing systems (fe-systems) that define families languages. Using same we propose to study forbidding enforcing within membrane systems. Two approaches are presented; first case system generates languages second a single language. We show using membranes, cannot be defined any fe-system can generated. When language is generated, SAT solved constant time (at price an exponential space). Also example context-free generated without forbidders.