170 likes | 262 Views
P systems – A sample of current problems (Part II). Marian Gheorghe. Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield. Summary.
E N D
P systems – A sample of current problems (Part II) Marian Gheorghe Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Summary Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Fundamentals of L systems Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Languages of recombinant DNA Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Membrane computing Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Membrane computing – Basic definition Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Simple example aa 1 1 1 1 a aa2 abcc a aoutaout abcc aa a aa2 aa aa 2 2 2 aa bcc bcc 2 b2pc4p aa λ ⇒ ⇒ … ⇒ w = b2pc4p, p≥0 Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Computation Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Basic P systems. Sample results Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Variants (1). Language generation Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Other variants Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Tissue P systems/Population P systems Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Classes of P systems environment Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Sample Results Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Other problems • descriptional complexity (comes with computational power) • model checking (CTL); attempts to model in Maude, Spin and Prism • structural operational semantics and Petri Nets • P systems as dynamic systems • model various case studies Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield
Conclusions • P systems are a non-standard computation mechanism inspired by cellular biology • A well developed theoretical approach (computational power, complexity) and some modelling approaches (v early stage) • What next: • Developing a coherent semantics • Defining a specification language • Tools Verification and Testing & Computational Biology, Department of Computer Science, The University of Sheffield