Doubly deterministic tabled OL systems

DOI10.1007/BF00993057zbMath0426.68073MaRDI QIDQ3862450

Karel II Culik, Derick Wood

Publication date: 1979

Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)

zbMATH Keywords

decidabilitybiological developmentinfluence of the environmentdeterministic tabled OL systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Cut point languages of markov DTOL systems ⋮ Inference algorithms for developmental systems with cell lineages ⋮ L-SYSTEMS IN GEOMETRIC MODELING ⋮ On properties of edtol and rwdol languages and the constructibility of finite morphic refinements ⋮ Adherences of DOL languages

Cites Work

• Development systems with locally catenative formulas
• The decidability of v-local catenativity and of other properties of DOL systems
• The equivalence problem for deterministic TOL-systems is undecidable
• TOL systems and languages
• Unnamed Item
• Unnamed Item