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

A computational model for cell differentiation.

I Ardelean1, M Gheorghe, C Martín-Vide

  • 1Centre of Microbiology, Institute of Biology of the Romanian Academy, Splaiul Independenţei 296, P.O. Box 56-53, 79651 Bucharest, Romania. ioan.ardelean@ibiol.ro

Bio Systems
|September 8, 2004
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

Use of a case-control study and control bank to investigate an outbreak of locally acquired cyclosporiasis in Canada, 2016.

Canada communicable disease report = Releve des maladies transmissibles au Canada·2019
Same author

[We are living longer, but in good health? Inequality in quality-adjusted life expectancy].

Nederlands tijdschrift voor geneeskunde·2017
Same author

MODELLING HEALTH-RELATED QUALITY OF LIFE (HRQOL) LONGITUDINALLY. A BAYESIAN MIXED BETA REGRESSION APPROACH.

Value in health : the journal of the International Society for Pharmacoeconomics and Outcomes Research·2016
Same author

Giant Esophageal GIST: Diagnostic and Therapeutic Challenge - Case Report.

Chirurgia (Bucharest, Romania : 1990)·2015
Same author

Integration testing of heterotic systems.

Philosophical transactions. Series A, Mathematical, physical, and engineering sciences·2015
Same author

Clinical and therapeutic considerations of GIST.

Journal of medicine and life·2014
Same journal

Ruliological Resilience: Pattern Restoration and Robustness in Wolfram Patterns. A Basis for Regeneration, Not Just in Cone Shells?

Bio Systems·2026
Same journal

The quantum-to-classical transducer: A thermodynamic and quantum mechanical framework for the emergence of bioenergetics.

Bio Systems·2026
Same journal

Forward-backward gene expression binarization for boolean state inference over a known regulatory network.

Bio Systems·2026
Same journal

Partial-label metric ceilings for evaluating gene regulatory networks inferred from single-cell foundation models.

Bio Systems·2026
Same journal

The impedance mismatch theory: A non-equilibrium thermodynamic framework for a shared energetic stress pathway in neurodegeneration.

Bio Systems·2026
Same journal

Immune signal-status misclassification: A theoretical framework for biological status assignment and failed status resolution.

Bio Systems·2026
See all related articles

This study introduces a cell-differentiation system modeling evolving cell communities using formal language theory. Determining population sizes is undecidable, but generating specific cell generations is algorithmically decidable.

Area of Science:

  • Theoretical Biology
  • Formal Language Theory
  • Computational Biology

Background:

  • Multicellular organisms exhibit complex tissue formation processes.
  • Formal language theory provides tools to model biological systems.
  • Gene expression and chromosomal mutations can be abstractly represented.

Purpose of the Study:

  • To present a novel cell-differentiation system.
  • To model evolving cell communities at a syntactical level.
  • To explore the decidability of population dynamics in this system.

Main Methods:

  • Utilizing formal language theory to model biological phenomena.
  • Defining chromosomal mutations as string operations.
  • Representing cell differentiation via random-context conditions in formal languages.

Related Experiment Videos

Main Results:

  • The problem of determining if cell population vectors are finite, linear, or semilinear is recursively undecidable in a simplified system.
  • Algorithmic decidability is achieved for generating specific cell generations from finite cell-type systems.

Conclusions:

  • The cell-differentiation system offers a formal framework for studying evolving cell communities.
  • While population dynamics are complex and undecidable, specific generation prediction is feasible.
  • This work bridges formal language theory and theoretical biology.