On simulation and propagating EOL forms

DOI10.1016/0304-3975(84)90011-2MaRDI QIDQ793513zbMATH OpenOpenAlexFDO

Authors R. Verraedt, Grzegorz Rozenberg

Publication date 1984

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(84)90011-2

zbMATH Keywords

n-familypropagating EOL formsimulationsynchronized EOL form

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Review text

It is proved that for each synchronized EOL form a propagating EOL form can be constructed with the same n-family. To prove the result a new simulation lemma is used.

Recommendations

• Dirichlet Forms in Simulation
• Simulation of forming processes, using the arbitrary Eulerian-Lagrangian formulation
• scientific article; zbMATH DE number 3938771
• Eulerian-on-Lagrangian simulation
• Simulation relations and applications in formal methods
• Simulations functions and Geraghty type results
• scientific article; zbMATH DE number 177250
• scientific article; zbMATH DE number 6811486
• Simulation functions: a survey of recent results
• scientific article; zbMATH DE number 3965712

Cites work

• Basic formulas and languages. II: Applications to EOL systems and forms
• Completeness of EOL forms is decidable
• EOL forms
• Grammar and L forms: an introduction
• scientific article; zbMATH DE number 3569855 (Why is no real title available?)
• scientific article; zbMATH DE number 3604380 (Why is no real title available?)
• scientific article; zbMATH DE number 3413820 (Why is no real title available?)
• Many-to-one simulation in EOL forms is decidable

This page was built for publication: On simulation and propagating EOL forms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q793513)