Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Experiment Videos

DNA splicing systems and post systems

C Ferretti1, S Kobayashi

  • 1Department of Computer Science and Information Mathematics, University of Electro-Communications, Tokyo, Japan. ferretti.gold.cs.uec.ac.jp

Pacific Symposium on Biocomputing. Pacific Symposium on Biocomputing
|January 1, 1996
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Correction: DNA damage response by single-strand breaks in terminally differentiated muscle cells and the control of muscle integrity.

Cell death and differentiation·2026
Same author

Evidence for the Collective Nature of Radial Flow in Pb+Pb Collisions with the ATLAS Detector.

Physical review letters·2026
Same author

Evidence for the Dimuon Decay of the Higgs Boson in pp Collisions with the ATLAS Detector.

Physical review letters·2025
Same author

Evidence for Longitudinally Polarized W Bosons in the Electroweak Production of Same-Sign W Boson Pairs in Association with Two Jets in pp Collisions at sqrt[s]=13  TeV with the ATLAS Detector.

Physical review letters·2025
Same author

Observation of tt[over ¯] Production in Pb+Pb Collisions at sqrt[s_{NN}]=5.02  TeV with the ATLAS Detector.

Physical review letters·2025
Same author

Search for Dark Matter Produced in Association with a Dark Higgs Boson in the bb[over ¯] Final State Using pp Collisions at sqrt[s]=13  TeV with the ATLAS Detector.

Physical review letters·2025

This study explores extended splicing (H) systems, revealing new ways to understand their generative capabilities. Researchers established novel characterizations and normal forms for these systems, impacting the study of regular and context-free languages.

Area of Science:

  • Formal language theory
  • Theoretical computer science
  • Automata theory

Background:

  • Extended splicing (H) systems are a formal model with applications in areas like DNA computing.
  • Previous research has characterized recursively enumerable languages using Post Normal systems.

Purpose of the Study:

  • To formally investigate the generative powers of extended splicing (H) systems.
  • To establish new characterizations of extended H systems using Post's work.
  • To explore relationships between different families of extended H systems.

Main Methods:

  • Leveraging Post's characterization of recursively enumerable languages via Post Normal systems.
  • Developing novel characterization techniques for extended H systems.
  • Investigating normal forms for extended H systems.

Related Experiment Videos

Main Results:

  • New characterizations of extended H systems were established, simplifying proofs and offering fresh insights.
  • A normal form for extended H systems was identified, precisely characterizing regular languages.
  • A new representation for context-free languages using extended H systems was demonstrated.

Conclusions:

  • Extended splicing (H) systems possess significant generative power, with implications for formal language theory.
  • The study provides a deeper understanding of the relationships between extended H systems and classical language classes.
  • Novel methods and characterizations advance the formal study of splicing systems.